PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF (Q3453205): Difference between revisions

@@ Property / describes a project that uses @@
+NiVER
@@ Property / describes a project that uses: NiVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BoolVar/PB
@@ Property / describes a project that uses: BoolVar/PB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+npSolver
@@ Property / describes a project that uses: npSolver / 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-319-24318-4_2
+Normal rank
@@ Property / OpenAlex ID @@
+W2223094528
@@ Property / OpenAlex ID: W2223094528 / rank @@
+Normal rank
@@ Property / cites work @@
+A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings
+Normal rank
@@ Property / cites work @@
+Pseudo-Boolean optimization
@@ Property / cites work: Pseudo-Boolean optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+BDDs for Pseudo-Boolean Constraints – Revisited
@@ Property / cites work: BDDs for Pseudo-Boolean Constraints – Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for computing minimal unsatisfiable subsets of constraints
+Normal rank
@@ Property / cites work @@
+New Encodings of Pseudo-Boolean Constraints into CNF
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3453205