Lengning Liu

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