Temporal Constraint Satisfaction Problems

Complexity of Infinite-Domain Constraint Satisfaction ◽

10.1017/9781107337534.013 ◽

2021 ◽

pp. 413-472

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Temporal Constraint

Download Full-text

Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map

2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) ◽

10.1109/ictai.2015.71 ◽

2015 ◽

Author(s):

Helene Fargier ◽

Frederic Maris ◽

Vincent Roger

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Decision Diagrams ◽

Temporal Constraint

Download Full-text

Solving Temporal Constraint Satisfaction Problems with Heuristic Based Evolutionary Algorithms

2008 20th IEEE International Conference on Tools with Artificial Intelligence ◽

10.1109/ictai.2008.43 ◽

2008 ◽

Author(s):

Bahareh Jafari Jashmi ◽

Malek Mouhoub

Keyword(s):

Evolutionary Algorithms ◽

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Temporal Constraint

Download Full-text

The complexity of temporal constraint satisfaction problems

Proceedings of the fourtieth annual ACM symposium on Theory of computing - STOC 08 ◽

10.1145/1374376.1374382 ◽

2008 ◽

Author(s):

Manuel Bodirsky ◽

Jan Kara

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Temporal Constraint

Download Full-text

Discrete Temporal Constraint Satisfaction Problems

Journal of the ACM ◽

10.1145/3154832 ◽

2018 ◽

Vol 65 (2) ◽

pp. 1-41 ◽

Author(s):

Manuel Bodirsky ◽

Barnaby Martin ◽

Antoine Mottet

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Temporal Constraint

Download Full-text

Temporal Constraint Satisfaction Problems

INTELIGENCIA ARTIFICIAL ◽

10.4114/ia.v7i20.379 ◽

2003 ◽

Vol 7 (20) ◽

Author(s):

Roque Marín ◽

Isabel Navarrete

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Temporal Constraint

Download Full-text

Temporal Constraint Satisfaction Problems in Fixed-Point Logic

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394750 ◽

2020 ◽

Author(s):

Manuel Bodirsky ◽

Wied Pakusa ◽

Jakub Rydval

Keyword(s):

Fixed Point ◽

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Temporal Constraint

Download Full-text

The complexity of temporal constraint satisfaction problems

Journal of the ACM ◽

10.1145/1667053.1667058 ◽

2010 ◽

Vol 57 (2) ◽

pp. 1-41 ◽

Author(s):

Manuel Bodirsky ◽

Jan Kára

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Temporal Constraint

Download Full-text

Constraint satisfaction problems : backtrack search revisited

16th IEEE International Conference on Tools with Artificial Intelligence TAI-04 ◽

10.1109/ictai.2004.43 ◽

2005 ◽

Author(s):

A. Chmeiss ◽

L. Sais

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Backtrack Search

Download Full-text

Random Subcubes as a Toy Model for Constraint Satisfaction Problems

Journal of Statistical Physics ◽

10.1007/s10955-008-9543-x ◽

2008 ◽

Vol 131 (6) ◽

pp. 1121-1138 ◽

Author(s):

Thierry Mora ◽

Lenka Zdeborová

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems

Download Full-text

Temporal constraint satisfaction on causal models

Information Sciences ◽

10.1016/0020-0255(93)90020-m ◽

1993 ◽

Vol 68 (1-2) ◽

pp. 1-32 ◽

Author(s):

Luca Console ◽

Pietro Torasso

Keyword(s):

Constraint Satisfaction ◽

Causal Models ◽

Temporal Constraint

Download Full-text