Author of the publication

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

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