Compiling finite domain constraints to SAT with<tt>BEE</tt> (Q4911128): Difference between revisions

@@ Property / cites work @@
+Compiling problem specifications into SAT
@@ Property / cites work: Compiling problem specifications into SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Cardinality networks: a theoretical and empirical study
+Normal rank
@@ Property / cites work @@
+Compiling finite linear CSP into SAT
@@ Property / cites work: Compiling finite linear CSP into SAT / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluating ASP and commercial solvers on the CSPLib
+Normal rank