( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
WSAT(cc) - a fast local-search ASP solver

, и . CoRR, (2003)

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.

Anke Lengning

Klaus Lengning

Klaus Lengning

Klaus Lengning

Liu Liu

 

Другие публикации лиц с тем же именем

Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers., и . LPNMR, том 3662 из Lecture Notes in Computer Science, стр. 410-415. Springer, (2005)Local Search with Bootstrapping., и . SAT, (2004)Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques., и . Constraints An Int. J., 12 (3): 345-369 (2007)Logic programs with abstract constraint atoms: The role of computations., , , и . Artif. Intell., 174 (3-4): 295-315 (2010)Properties and Applications of Programs with Monotone and Convex Constraints., и . J. Artif. Intell. Res., (2006)Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints., и . CP, том 2833 из Lecture Notes in Computer Science, стр. 495-509. Springer, (2003)Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints., и . AAAI, стр. 98-103. AAAI Press, (2006)WSAT(CC) - A Fast Local-Search ASP Solver., и . LPNMR, том 2923 из Lecture Notes in Computer Science, стр. 351-355. Springer, (2004)Logic Programs with Abstract Constraint Atoms: The Role of Computations., , , и . ICLP, том 4670 из Lecture Notes in Computer Science, стр. 286-301. Springer, (2007)WSAT(cc) - a fast local-search ASP solver, и . CoRR, (2003)