Author of the publication

Local-search techniques for propositional logic extended with cardinality constraints

, and . 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Ultimate Approximations in Nonmonotonic Knowledge Representation Systems., , and . KR, page 177-190. Morgan Kaufmann, (2002)Automatic Generation of English-language Steps in Puzzle Solving., , , and . IC-AI, page 437-442. CSREA Press, (2004)Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule.. LPNMR, page 150-169. (1990)My six encounters with Victor Marek - a personal account.. Ann. Math. Artif. Intell., 53 (1-4): 17-20 (2008)Routing non-convex grids without holes., and . Great Lakes Symposium on VLSI, page 157-162. IEEE, (1991)Maximin Share Allocations on Cycles., and . J. Artif. Intell. Res., (2020)On graph equivalences preserved under extensions., and . Discret. Math., 311 (12): 966-977 (2011)Answer set optimization, , and . (2003)Rough Sets - What Are They About?, and . Rough Sets and Current Trends in Computing, volume 1424 of Lecture Notes in Computer Science, page 24. Springer, (1998)Reasoning with Preference Trees over Combinatorial Domains., and . ADT, volume 9346 of Lecture Notes in Computer Science, page 19-34. Springer, (2015)