ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
◽
Cited By ~ 1
Author(s):
Manuel Bodirsky
◽
Wied Pakusa
◽
Jakub Rydval
Keyword(s):
Fixed Point
◽
Constraint Satisfaction
◽
Constraint Satisfaction Problems
◽
Temporal Constraint
Download Full-text
Related Documents
Cited By
References
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
◽
Cited By ~ 2
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
◽
Cited By ~ 7
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
◽
Cited By ~ 4
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
The complexity of temporal constraint satisfaction problems
Journal of the ACM
◽
10.1145/1667053.1667058
◽
2010
◽
Vol 57
(2)
◽
pp. 1-41
◽
Cited By ~ 42
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
◽
Cited By ~ 3
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
◽
Cited By ~ 12
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
◽
Cited By ~ 11
Author(s):
Luca Console
◽
Pietro Torasso
Keyword(s):
Constraint Satisfaction
◽
Causal Models
◽
Temporal Constraint
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close