Coupling different integer encodings for SAT (Q2170178): Difference between revisions

@@ Property / cites work @@
+On CNF Encodings of Decision Diagrams
@@ Property / cites work: On CNF Encodings of Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+A New Look at BDDs for Pseudo-Boolean Constraints
@@ Property / cites work: A New Look at BDDs for Pseudo-Boolean Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Core-guided and core-boosted search for CP
@@ Property / cites work: Core-guided and core-boosted search for CP / rank @@
+Normal rank
@@ Property / cites work @@
+PySAT: a Python toolkit for prototyping with SAT oracles
+Normal rank
@@ Property / cites work @@
+Open-WBO: A Modular MaxSAT Solver,
@@ Property / cites work: Open-WBO: A Modular MaxSAT Solver, / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Equi-propagation for Concise and Efficient SAT Encodings of  Combinatorial Problems
+Normal rank
@@ Property / cites work @@
+Propagation via lazy clause generation
@@ Property / cites work: Propagation via lazy clause generation / rank @@
+Normal rank
@@ Property / cites work @@
+PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF
+Normal rank
@@ Property / cites work @@
+Recent Advances in Constraints
@@ Property / cites work: Recent Advances in Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Compiling finite linear CSP into SAT
@@ Property / cites work: Compiling finite linear CSP into SAT / rank @@
+Normal rank