The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Lengning Liu" ( http://dblp.L3S.de/Authors/Lengning_Liu )

  Author page on DBLP  Author page in RDF  Community of Lengning Liu in ASPL-2

Publication years (Num. hits)
2003-2011 (15)
Publication types (Num. hits)
article(7) inproceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 16 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Lengning Liu, Miroslaw Truszczynski Properties and Applications of Programs with Monotone and Convex Constraints Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski Logic programs with abstract constraint atoms: The role of computations. Search on Bibsonomy Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search
1Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski Logic Programs with Abstract Constraint Atoms: The Role of Computations. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski The First Answer Set Programming System Competition. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski Properties and Applications of Programs with Monotone and Convex Constraints. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski Properties of Programs with Monotone and Convex Constraints. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski Satisfiability and Computing van der Waerden Numbers. Search on Bibsonomy Electr. J. Comb. The full citation details ... 2004 DBLP  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski WSAT(CC) - A Fast Local-Search ASP Solver. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski Local Search with Bootstrapping. Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski WSAT(cc) - a fast local-search ASP solver Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski Local-search techniques for propositional logic extended with cardinality constraints Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license