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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3883
@@ Property / arXiv ID: 1206.3883 / rank @@
+Normal rank
@@ 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
@@ Property / OpenAlex ID @@
+W1972567131
@@ Property / OpenAlex ID: W1972567131 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4911128