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

Adaptive signal-vehicle cooperative controlling system., , and . ITSC, page 236-241. IEEE, (2011)Automatic Concept Formation in Pure Mathematics., , and . IJCAI, page 786-793. Morgan Kaufmann, (1999)Search in a Small World.. IJCAI, page 1172-1177. Morgan Kaufmann, (1999)Depth-bounded Discrepancy Search.. IJCAI, page 1388-1395. Morgan Kaufmann, (1997)Abstract Theorem Proving., and . IJCAI, page 372-377. Morgan Kaufmann, (1989)Symmetry Breaking.. Australian Conference on Artificial Intelligence, volume 4304 of Lecture Notes in Computer Science, page 7-8. Springer, (2006)Solving Non-clausal Formulas with DPLL search., , and . SAT, (2004)Complexity Issues in Preference Elicitation and Manipulation.. ISAIM, (2008)Possible and necessary winners in voting trees: majority graphs vs. profiles., , , and . AAMAS, page 311-318. IFAAMAS, (2011)Possible and Necessary Allocations via Sequential Mechanisms., , and . IJCAI, page 468-474. AAAI Press, (2015)