Lengning Liu

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Publications

Lengning Liu, Miroslaw Truszczynski
Properties and Applications of Programs with Monotone and Convex Constraints CoRR (2011)
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski
Logic programs with abstract constraint atoms: The role of computations. Artif. Intell. 174 (3-4) (2010)
Lengning Liu, Miroslaw Truszczynski
Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. Constraints An Int. J. 12 (3) (2007)
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski
Logic Programs with Abstract Constraint Atoms: The Role of Computations. ICLP (2007)
Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski
The First Answer Set Programming System Competition. LPNMR (2007)
Lengning Liu, Miroslaw Truszczynski
Properties and Applications of Programs with Monotone and Convex Constraints. J. Artif. Intell. Res. 27 (2006)
Lengning Liu, Miroslaw Truszczynski
Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints. AAAI (2006)
Lengning Liu, Miroslaw Truszczynski
Properties of Programs with Monotone and Convex Constraints. AAAI (2005)
Lengning Liu, Miroslaw Truszczynski
Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. LPNMR (2005)
Lengning Liu, Miroslaw Truszczynski
Local Search with Bootstrapping. SAT (2004)
Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski
Satisfiability and Computing van der Waerden Numbers. Electron. J. Comb. 11 (1) (2004)
Lengning Liu, Miroslaw Truszczynski
WSAT(CC) - A Fast Local-Search ASP Solver. LPNMR (2004)
Lengning Liu, Miroslaw Truszczynski
Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints. CP (2003)
Lengning Liu, Miroslaw Truszczynski
WSAT(cc) - a fast local-search ASP solver CoRR (2003)
Lengning Liu, Miroslaw Truszczynski
Local-search techniques for propositional logic extended with cardinality constraints CoRR (2003)