Lengning Liu

Identifiers

No identifiers captured yet.

Papers (2)

1. WSAT(cc) - a fast local-search ASP solver cs.AI · 2003 · author #1
2. Local-search techniques for propositional logic extended with cardinality constraints cs.AI · 2003 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Miroslaw Truszczynski 2 shared papers