Author of the publication

A Simple and Efficient Boolean Solver for Constraint Logic Programming.

, and . J. Autom. Reason., 17 (1): 97-129 (1996)

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

Extending the WAM for Intelligent Backtracking., and . ICLP, page 127-141. MIT Press, (1991)Musical constraint satisfaction problems solved with adaptive search., and . Soft Comput., 8 (9): 633-640 (2004)Solving finite domain constraint hierarchies by local consistency and tree search., , , and . J. Exp. Theor. Artif. Intell., 21 (4): 233-257 (2009)Declarative behaviors for virtual creatures.. SIGGRAPH Abstracts and Applications, page 237. ACM, (1999)Parallel Logic Programming Systems., and . ACM Comput. Surv., 26 (3): 295-336 (1994)Yet Another Intelligent Backtracking Method., , and . ICLP/SLP, page 447-465. MIT Press, (1988)The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars., , and . IVA, volume 2190 of Lecture Notes in Computer Science, page 195-209. Springer, (2001)Path Consistency in clp(FD)., and . CCL, volume 845 of Lecture Notes in Computer Science, page 201-216. Springer, (1994)Identifying Relationships and Classifying Western-style Paintings: Machine Learning Approaches for Artworks by Western Artists and Meiji-era Japanese Artists., , , , , and . ACM Journal on Computing and Cultural Heritage, 17 (1): 6:1-6:18 (February 2024)Estimating parallel runtimes for randomized algorithms in constraint solving., , , and . J. Heuristics, 22 (4): 613-648 (2016)