( en | de | ru )

 

Disambiguation of "Liu, Lengning"

Author of the publication

copydeleteadd this publication to your clipboard
Properties and Applications of Programs with Monotone and Convex Constraints

, and . CoRR, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anke Lengning

Klaus Lengning

Klaus Lengning

Klaus Lengning

Liu Liu

 

Other publications of authors with the same name

Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers., and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 410-415. Springer, (2005)Properties and Applications of Programs with Monotone and Convex Constraints., and . J. Artif. Intell. Res., (2006)Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints., and . CP, volume 2833 of Lecture Notes in Computer Science, page 495-509. Springer, (2003)Logic programs with abstract constraint atoms: The role of computations., , , and . Artif. Intell., 174 (3-4): 295-315 (2010)Satisfiability and Computing van der Waerden Numbers., , , and . Electron. J. Comb., (2004)Local Search with Bootstrapping., and . SAT, (2004)Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques., and . Constraints An Int. J., 12 (3): 345-369 (2007)Properties and Applications of Programs with Monotone and Convex Constraints, and . CoRR, (2011)WSAT(CC) - A Fast Local-Search ASP Solver., and . LPNMR, volume 2923 of Lecture Notes in Computer Science, page 351-355. Springer, (2004)Logic Programs with Abstract Constraint Atoms: The Role of Computations., , , and . ICLP, volume 4670 of Lecture Notes in Computer Science, page 286-301. Springer, (2007)