Lengning Liu

According to our database, Lengning Liu authored at least 11 papers between 2003 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.

Lengning Liu, Miroslaw Truszczynski

Constraints An Int. J., 2007

The First Answer Set Programming System Competition.

Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Logic Programs with Abstract Constraint Atoms: The Role of Computations.

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Properties and Applications of Programs with Monotone and Convex Constraints.

Lengning Liu, Miroslaw Truszczynski

J. Artif. Intell. Res., 2006

Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints.

Lengning Liu, Miroslaw Truszczynski

Proceedings of the Proceedings, 2006

2005

Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers.

Lengning Liu, Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Properties of Programs with Monotone and Convex Constraints.

Lengning Liu, Miroslaw Truszczynski

Proceedings of the Proceedings, 2005

2004

Satisfiability and Computing van der Waerden Numbers.

Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski

Electron. J. Comb., 2004

Local Search with Bootstrapping.

Lengning Liu, Miroslaw Truszczynski

Proceedings of the SAT 2004, 2004

WSAT(CC) - A Fast Local-Search ASP Solver.

Lengning Liu, Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

2003

Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints.

Lengning Liu, Miroslaw Truszczynski

Proceedings of the Principles and Practice of Constraint Programming, 2003