Reasoning from last conflict(s) in constraint programming (Q1045989): Difference between revisions

@@ Property / describes a project that uses @@
+PDDL
@@ Property / describes a project that uses: PDDL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QUICKXPLAIN
@@ Property / describes a project that uses: QUICKXPLAIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2009.09.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2011292059
@@ Property / OpenAlex ID: W2011292059 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472551
@@ Property / cites work: Q4472551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal coarse-grained arc consistency algorithm
+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 @@
+Radio link frequency assignment
@@ Property / cites work: Radio link frequency assignment / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717783
@@ Property / cites work: Q2717783 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717789
@@ Property / cites work: Q2717789 / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q4475622
@@ Property / cites work: Q4475622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449295
@@ Property / cites work: Q4449295 / rank @@
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: Flaws and structure
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386920
@@ Property / cites work: Q4386920 / rank @@
+Normal rank
@@ Property / cites work @@
+Search Heuristics and Heavy-Tailed Behaviour
@@ Property / cites work: Search Heuristics and Heavy-Tailed Behaviour / rank @@
+Normal rank
@@ Property / cites work @@
+-Way vs.d -Way Branching for CSP
@@ Property / cites work: 2 -Way vs.d -Way Branching for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473030
@@ Property / cites work: Q4473030 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning from last conflict(s) in constraint programming
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Locating the phase transition in binary constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Branching and pruning: An optimal temporal POCL planner based on constraint programming
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: easy generation of hard (satisfiable) instances
+Normal rank
@@ Property / cites work @@
+Q4954175
@@ Property / cites work: Q4954175 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1045989