2007 |
13 | EE | Lengning Liu,
Enrico Pontelli,
Tran Cao Son,
Miroslaw Truszczynski:
Logic Programs with Abstract Constraint Atoms: The Role of Computations.
ICLP 2007: 286-301 |
12 | EE | Martin Gebser,
Lengning Liu,
Gayathri Namasivayam,
André Neumann,
Torsten Schaub,
Miroslaw Truszczynski:
The First Answer Set Programming System Competition.
LPNMR 2007: 3-17 |
11 | EE | 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 | EE | 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 | EE | Lengning Liu,
Miroslaw Truszczynski:
Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers.
LPNMR 2005: 410-415 |
2004 |
6 | EE | Lengning Liu,
Miroslaw Truszczynski:
WSAT(CC) - A Fast Local-Search ASP Solver.
LPNMR 2004: 351-355 |
5 | EE | Lengning Liu,
Miroslaw Truszczynski:
Local Search with Bootstrapping.
SAT 2004 |
4 | EE | 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 | EE | Lengning Liu,
Miroslaw Truszczynski:
Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints.
CP 2003: 495-509 |
2 | EE | Lengning Liu,
Miroslaw Truszczynski:
Local-search techniques for propositional logic extended with cardinality constraints
CoRR cs.AI/0310061: (2003) |
1 | EE | Lengning Liu,
Miroslaw Truszczynski:
WSAT(cc) - a fast local-search ASP solver
CoRR cs.AI/0310062: (2003) |