A framework for certified Boolean branch-and-bound optimization (Q2429985): Difference between revisions

@@ Property / cites work @@
+Efficient Generation of Unsatisfiability Proofs and Cores in SAT
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Pseudo-Boolean optimization
@@ Property / cites work: Pseudo-Boolean optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Radio link frequency assignment
@@ Property / cites work: Radio link frequency assignment / rank @@
+Normal rank
@@ Property / cites work @@
+A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
+Normal rank
@@ Property / cites work @@
+Roof duality, complementation and persistency in quadratic 0–1 optimization
+Normal rank
@@ Property / cites work @@
+Q2749862
@@ Property / cites work: Q2749862 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical approach to efficient Max-SAT solving
@@ Property / cites work: A logical approach to efficient Max-SAT solving / rank @@
+Normal rank
@@ Property / cites work @@
+Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
+Normal rank
@@ Property / cites work @@
+Satisfiability-based algorithms for Boolean optimization
+Normal rank
@@ Property / cites work @@
+Rocket-Fast Proof Checking for SMT Solvers
@@ Property / cites work: Rocket-Fast Proof Checking for SMT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+On SAT Modulo Theories and Optimization Problems
@@ Property / cites work: On SAT Modulo Theories and Optimization Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
+Normal rank