( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Clause-Learning for Modular Systems.

, и . LPNMR, том 9345 из Lecture Notes in Computer Science, стр. 446-452. Springer, (2015)

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.

David G Wigg

David G Long

Daniell Mitchell

Gail Mitchell

Margaret Mitchell

 

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

Problem Solving with the Enfragmo System., , и . Theory Pract. Log. Program., (2013)New Encoding for Translating Pseudo-Boolean Constraints into SAT., , и . SARA, AAAI, (2013)Resolution Complexity of Random Constraints.. CP, том 2470 из Lecture Notes in Computer Science, стр. 295-309. Springer, (2002)Clause-Learning for Modular Systems., и . LPNMR, том 9345 из Lecture Notes in Computer Science, стр. 446-452. Springer, (2015)Enfragmo: A System for Modelling and Solving Search Problems with Logic., , , , и . LPAR, том 7180 из Lecture Notes in Computer Science, стр. 15-22. Springer, (2012)The Resolution Complexity of Random Graph k-Colorability, , , и . Electron. Colloquium Comput. Complex., (2004)Resolution and Constraint Satisfaction.. CP, том 2833 из Lecture Notes in Computer Science, стр. 555-569. Springer, (2003)A New Method for Solving Hard Satisfiability Problems., , и . AAAI, стр. 440-446. AAAI Press / The MIT Press, (1992)Some Pitfalls for Experimenters with Random SAT., и . Artif. Intell., 81 (1-2): 111-125 (1996)The resolution complexity of random graph k-colorability., , , и . Discret. Appl. Math., 153 (1-3): 25-47 (2005)