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)Online Cake Cutting.. ADT, volume 6992 of Lecture Notes in Computer Science, page 292-305. Springer, (2011)Depth-bounded Discrepancy Search.. IJCAI, page 1388-1395. Morgan Kaufmann, (1997)Search in a Small World.. IJCAI, page 1172-1177. Morgan Kaufmann, (1999)Automatic Concept Formation in Pure Mathematics., , and . IJCAI, page 786-793. Morgan Kaufmann, (1999)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)The PeerRank Method for Peer Assessment.. ECAI, volume 263 of Frontiers in Artificial Intelligence and Applications, page 909-914. IOS Press, (2014)