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

Symposium on Abstraction, Reformulation, and Approximation (SARA-2000)., and . AI Magazine, 22 (1): 137-138 (2001)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)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)On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems., and . AAAI/IAAI, page 326-333. AAAI Press / The MIT Press, (1998)Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators., , and . AAAI, page 4162-4163. AAAI Press, (2015)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)