 | 2007 |
|---|
| 13 |       | Lengning Liu,
Enrico Pontelli,
Tran Cao Son,
Miroslaw Truszczynski:
Logic Programs with Abstract Constraint Atoms: The Role of Computations.
ICLP 2007: 286-301 |
| 12 | | Martin Gebser,
Lengning Liu,
Gayathri Namasivayam,
André Neumann,
Torsten Schaub,
Miroslaw Truszczynski:
The First Answer Set Programming System Competition.
LPNMR 2007: 3-17 |
| 11 | | Lengning Liu,
Miroslaw Truszczynski:
Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.
Constraints 12(3): 345-369 (2007) |
| 2006 |
|---|
| 10 |  | Lengning Liu,
Miroslaw Truszczynski:
Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints.
AAAI 2006 |
| 9 | | Lengning Liu,
Miroslaw Truszczynski:
Properties and Applications of Programs with Monotone and Convex Constraints.
J. Artif. Intell. Res. (JAIR) 27: 299-334 (2006) |
| 2005 |
|---|
| 8 | | Lengning Liu,
Miroslaw Truszczynski:
Properties of Programs with Monotone and Convex Constraints.
AAAI 2005: 701-706 |
| 7 | | Lengning Liu,
Miroslaw Truszczynski:
Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers.
LPNMR 2005: 410-415 |
| 2004 |
|---|
| 6 | | Lengning Liu,
Miroslaw Truszczynski:
WSAT(CC) - A Fast Local-Search ASP Solver.
LPNMR 2004: 351-355 |
| 5 | | Lengning Liu,
Miroslaw Truszczynski:
Local Search with Bootstrapping.
SAT 2004 |
| 4 | | Michael R. Dransfield,
Lengning Liu,
Victor W. Marek,
Miroslaw Truszczynski:
Satisfiability and Computing van der Waerden Numbers.
Electr. J. Comb. 11(1): (2004) |
| 2003 |
|---|
| 3 | | Lengning Liu,
Miroslaw Truszczynski:
Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints.
CP 2003: 495-509 |
| 2 | | Lengning Liu,
Miroslaw Truszczynski:
Local-search techniques for propositional logic extended with cardinality constraints
CoRR cs.AI/0310061: (2003) |
| 1 | | Lengning Liu,
Miroslaw Truszczynski:
WSAT(cc) - a fast local-search ASP solver
CoRR cs.AI/0310062: (2003) |
