Lengning Liu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2003–2007
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ICLP | Logic Programs with Abstract Constraint Atoms: The Role of Computations. | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
| 2007 | LPNMR | The First Answer Set Programming System Competition. | Martin Gebser, Lengning Liu, Gayathri Namasivayam, Andr Neumann, Torsten Schaub, Miroslaw Truszczynski |
| 2006 | AAAI | Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints. | Lengning Liu, Miroslaw Truszczynski |
| 2005 | AAAI | Properties of Programs with Monotone and Convex Constraints. | Lengning Liu, Miroslaw Truszczynski |
| 2005 | LPNMR | Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. | Lengning Liu, Miroslaw Truszczynski |
| 2004 | LPNMR | WSAT(CC) - A Fast Local-Search ASP Solver. | Lengning Liu, Miroslaw Truszczynski |
| 2004 | SAT | Local Search with Bootstrapping. | Lengning Liu, Miroslaw Truszczynski |
| 2003 | CP | Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints. | Lengning Liu, Miroslaw Truszczynski |