Author of the publication

An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem.

, and . AI Commun., 17 (4): 213-221 (2004)

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

PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints., and . CP, volume 11008 of Lecture Notes in Computer Science, page 345-361. Springer, (2018)Symposium on Abstraction, Reformulation, and Approximation (SARA-2000)., and . AI Magazine, 22 (1): 137-138 (2001)Algebraic Techniques for the Optimization of Control Flow Checking., and . FTCS, page 128-137. IEEE Computer Society, (1996)Towards a practical theory of reformulation for reasoning about physical systems., , and . Artif. Intell., 162 (1-2): 145-204 (2005)Dynamic Bundling: Less Effort for More Solutions., and . SARA, volume 2371 of Lecture Notes in Computer Science, page 64-82. Springer, (2002)Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators., , and . AAAI, page 4162-4163. AAAI Press, (2015)On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems., and . AAAI/IAAI, page 326-333. AAAI Press / The MIT Press, (1998)A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game., , and . SARA, AAAI, (2011)Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency., , , and . SARA, AAAI, (2011)Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs., , and . AAAI, page 397-404. AAAI Press / The MIT Press, (2005)