From post

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.

 

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

On 2-SAT and Renamable Horn.. AAAI/IAAI, стр. 279-284. AAAI Press / The MIT Press, (2000)A New Method for Consequence Finding and Compilation in Restricted Languages.. AAAI/IAAI, стр. 259-264. AAAI Press / The MIT Press, (1999)An Analysis of Approximate Knowledge Compilation.. IJCAI (1), стр. 830-836. Morgan Kaufmann, (1995)Computing Knowledge Base Updates.. KR, стр. 740-750. Morgan Kaufmann, (1992)Efficient Consequence Finding., и . IJCAI, стр. 359-370. Morgan Kaufmann, (2001)Approximate Knowledge Compilation: The First Order Case.. AAAI/IAAI, Vol. 1, стр. 498-503. AAAI Press / The MIT Press, (1996)Modeling Choices in Quasigroup Completion: SAT vs. CSP., , , , и . AAAI, стр. 137-142. AAAI Press / The MIT Press, (2004)Redundant Modeling for the QuasiGroup Completion Problem., , и . CP, том 2833 из Lecture Notes in Computer Science, стр. 288-302. Springer, (2003)Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation.. KR, стр. 551-561. Morgan Kaufmann, (1994)Scheduling Social Tournaments., , и . CP, том 3709 из Lecture Notes in Computer Science, стр. 845. Springer, (2005)