SAT encodings for pseudo-Boolean constraints together with at-most-one constraints (Q2060735): Difference between revisions

@@ Property / cites work @@
+PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+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 @@
+\(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT
+Normal rank
@@ Property / cites work @@
+New Encodings of Pseudo-Boolean Constraints into CNF
+Normal rank
@@ Property / cites work @@
+Automatically improving constraint models in Savile Row
+Normal rank
@@ Property / cites work @@
+Heuristics for determining the number of warehouses for storing non-compatible products
+Normal rank
@@ Property / cites work @@
+Budgeting with bounded multiple-choice constraints.
+Normal rank
@@ Property / cites work @@
+Combinatorial Auctions: A Survey
@@ Property / cites work: Combinatorial Auctions: A Survey / rank @@
+Normal rank
@@ Property / cites work @@
+Integer Programming Formulation of Traveling Salesman Problems
+Normal rank
@@ Property / cites work @@
+SAT encodings of pseudo-Boolean constraints with at-most-one relations
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward leaner binary-clause reasoning in a satisfiability solver
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource-constrained project scheduling: Notation, classification, models, and methods
+Normal rank
@@ Property / cites work @@
+Hard multidimensional multiple choice knapsack problems, an empirical study
+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 @@
+PSPLIB -- a project scheduling problem library
@@ Property / cites work: PSPLIB -- a project scheduling problem library / rank @@
+Normal rank
@@ Property / cites work @@
+Cardinality networks: a theoretical and empirical study
+Normal rank
@@ Property / cites work @@
+Presolve Reductions in Mixed Integer Programming
@@ Property / cites work: Presolve Reductions in Mixed Integer Programming / rank @@
+Normal rank