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.

 

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

Enfragmo: A System for Modelling and Solving Search Problems with Logic., , , , и . LPAR, том 7180 из Lecture Notes in Computer Science, стр. 15-22. Springer, (2012)Problem Solving with the Enfragmo System., , и . Theory Pract. Log. Program., (2013)Translating Pseudo-Boolean Constraints into CNF.. SAT, том 6695 из Lecture Notes in Computer Science, стр. 357-359. Springer, (2011)New Encoding for Translating Pseudo-Boolean Constraints into SAT., , и . SARA, AAAI, (2013)Predicting the future state of the RoboCup simulation environment: heuristic and neural networks approaches., , и . SMC, стр. 32-37. IEEE, (2003)A New Adaptive Transport Protocol for Web., , , и . CCECE, стр. 1830-1833. IEEE, (2006)Grounding Formulas with Complex Terms., , , и . Canadian AI, том 6657 из Lecture Notes in Computer Science, стр. 13-25. Springer, (2011)