Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints. - Lengning Liu; Miroslaw Truszczynski (CP, 2003)

WSAT(CC) - A Fast Local-Search ASP Solver. - Lengning Liu; Miroslaw Truszczynski (LPNMR, 2004)

Local Search with Bootstrapping. - Lengning Liu; Miroslaw Truszczynski (SAT, 2004)

Satisfiability and Computing van der Waerden Numbers. - Michael R. Dransfield; Lengning Liu; Victor W. Marek; Miroslaw Truszczynski (Electron. J. Comb., 2004)

Properties of Programs with Monotone and Convex Constraints. - Lengning Liu; Miroslaw Truszczynski (AAAI, 2005)

Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. - Lengning Liu; Miroslaw Truszczynski (LPNMR, 2005)

Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints. - Lengning Liu; Miroslaw Truszczynski (AAAI, 2006)

Properties and Applications of Programs with Monotone and Convex Constraints. - Lengning Liu; Miroslaw Truszczynski (J. Artif. Intell. Res., 2006)

The First Answer Set Programming System Competition. - Martin Gebser; Lengning Liu; Gayathri Namasivayam; André Neumann; Torsten Schaub; Miroslaw Truszczynski (LPNMR, 2007)

Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. - Lengning Liu; Miroslaw Truszczynski (Constraints An Int. J., 2007)

Logic programs with abstract constraint atoms: The role of computations. - Lengning Liu; Enrico Pontelli; Tran Cao Son; Miroslaw Truszczynski (Artif. Intell., 2010)