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

@@ Property / describes a project that uses @@
+Picat-SAT
@@ Property / describes a project that uses: Picat-SAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sugar
@@ Property / describes a project that uses: Sugar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Open-WBO
@@ Property / describes a project that uses: Open-WBO / 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.1007/978-3-031-08011-1_5
+Normal rank
@@ Property / OpenAlex ID @@
+W4285263050
@@ Property / OpenAlex ID: W4285263050 / rank @@
+Normal rank
@@ 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