Backtracking algorithms for disjunctions of temporal constraints (Q1575430): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a general theory of action and time
@@ Property / cites work: Towards a general theory of action and time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003160
@@ Property / cites work: Q4003160 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal constraint satisfaction techniques in job shop scheduling problem solving
+Normal rank
@@ Property / cites work @@
+Q4495107
@@ Property / cites work: Q4495107 / rank @@
+Normal rank
@@ Property / cites work @@
+New methods to color the vertices of a graph
@@ Property / cites work: New methods to color the vertices of a graph / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental results on the crossover point in random 3-SAT
+Normal rank
@@ Property / cites work @@
+From local to global consistency
@@ Property / cites work: From local to global consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental evaluation of preprocessing algorithms for constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Q3493325
@@ Property / cites work: Q3493325 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal constraint networks
@@ Property / cites work: Temporal constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Network-based heuristics for constraint-satisfaction problems
+Normal rank
@@ Property / cites work @@
+Twenty-one large tractable subclasses of Allen's algebra
+Normal rank
@@ Property / cites work @@
+Synthesizing constraint expressions
@@ Property / cites work: Synthesizing constraint expressions / rank @@
+Normal rank
@@ Property / cites work @@
+A Sufficient Condition for Backtrack-Free Search
@@ Property / cites work: A Sufficient Condition for Backtrack-Free Search / rank @@
+Normal rank
@@ Property / cites work @@
+The satisfiability constraint gap
@@ Property / cites work: The satisfiability constraint gap / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for qualitative reasoning about time
+Normal rank
@@ Property / cites work @@
+Q4386920
@@ Property / cites work: Q4386920 / rank @@
+Normal rank
@@ Property / cites work @@
+Backtrack Programming
@@ Property / cites work: Backtrack Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Towards efficient universal planning: A randomized approach
+Normal rank
@@ Property / cites work @@
+A theoretical evaluation of selected backtracking algorithms.
+Normal rank
@@ Property / cites work @@
+Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning
+Normal rank
@@ Property / cites work @@
+From local to global consistency in temporal constraint networks
+Normal rank
@@ Property / cites work @@
+The complexity of query evaluation in indefinite temporal constraint databases
+Normal rank
@@ Property / cites work @@
+On binary constraint problems
@@ Property / cites work: On binary constraint problems / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Combining qualitative and quantitative constraints in temporal reasoning
+Normal rank
@@ Property / cites work @@
+Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems
+Normal rank
@@ Property / cites work @@
+Some pitfalls for experimenters with random SAT
@@ Property / cites work: Some pitfalls for experimenters with random SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4849545
@@ Property / cites work: Q4849545 / rank @@
+Normal rank
@@ Property / cites work @@
+An empirical study of phase transitions in binary constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Processing disjunctions in temporal constraint networks
+Normal rank
@@ Property / cites work @@
+Generating hard satisfiability problems
@@ Property / cites work: Generating hard satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Locating the phase transition in binary constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Reasoning about qualitative temporal information
@@ Property / cites work: Reasoning about qualitative temporal information / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386938
@@ Property / cites work: Q4386938 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0004-3702(00)00019-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2103943372
@@ Property / OpenAlex ID: W2103943372 / rank @@
+Normal rank