A framework for step-wise explaining how to solve constraint satisfaction problems (Q2238723): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2021.103550
+Normal rank
@@ Property / OpenAlex ID @@
+W3034243856
@@ Property / OpenAlex ID: W3034243856 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4999264
@@ Property / cites work: Q4999264 / rank @@
+Normal rank
@@ Property / cites work @@
+Debugging unsatisfiable constraint models
@@ Property / cites work: Debugging unsatisfiable constraint models / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Propagation for First-Order Logic and Inductive Definitions
+Normal rank
@@ Property / cites work @@
+Progress towards the Holy Grail
@@ Property / cites work: Progress towards the Holy Grail / rank @@
+Normal rank
@@ Property / cites work @@
+A fully automatic theorem prover with human-style output
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Model Expansion
@@ Property / cites work: On the Complexity of Model Expansion / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for step-wise explaining how to solve constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Abstraction for non-ground answer set programs
@@ Property / cites work: Abstraction for non-ground answer set programs / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive power and abstraction in Essence
@@ Property / cites work: Expressive power and abstraction in Essence / rank @@
+Normal rank
@@ Property / cites work @@
+The KB paradigm and its application to interactive configuration
+Normal rank