Efficient branch-and-bound algorithms for weighted MAX-2-SAT (Q535012): Difference between revisions

@@ Property / describes a project that uses @@
+BerkMin
@@ Property / describes a project that uses: BerkMin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniMaxSat
@@ Property / describes a project that uses: MiniMaxSat / 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/s10107-009-0285-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2049935674
@@ Property / OpenAlex ID: W2049935674 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q4511230
@@ Property / cites work: Q4511230 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact MAX-2SAT solution via lift-and-project closure
+Normal rank
@@ Property / cites work @@
+A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
+Normal rank
@@ Property / cites work @@
+Pseudo-Boolean optimization
@@ Property / cites work: Pseudo-Boolean optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Upper-bounds for quadratic 0-1 maximization
@@ Property / cites work: Upper-bounds for quadratic 0-1 maximization / rank @@
+Normal rank
@@ Property / cites work @@
+Chvátal Cuts and Odd Cycle Inequalities in Quadratic 0–1 Optimization
+Normal rank
@@ Property / cites work @@
+A Max-flow approach to improved lower bounds for quadratic unconstrained binary optimization (QUBO)
+Normal rank
@@ Property / cites work @@
+On implementing the push-relabel method for the maximum flow problem
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Q4550772
@@ Property / cites work: Q4550772 / 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 @@
+On the Complexity of Timetable and Multicommodity Flow Problems
+Normal rank
@@ Property / cites work @@
+Some simplified NP-complete graph problems
@@ Property / cites work: Some simplified NP-complete graph problems / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear Programming Approach to the Cutting-Stock Problem
+Normal rank
@@ Property / cites work @@
+Adaptive Memory Tabu Search for Binary Quadratic Programs
+Normal rank
@@ Property / cites work @@
+Q4495174
@@ Property / cites work: Q4495174 / rank @@
+Normal rank
@@ Property / cites work @@
+One-pass heuristics for large-scale unconstrained binary quadratic problems
+Normal rank
@@ Property / cites work @@
+A new approach to the maximum-flow problem
@@ Property / cites work: A new approach to the maximum-flow problem / rank @@
+Normal rank
@@ Property / cites work @@
+BerkMin: A fast and robust SAT-solver
@@ Property / cites work: BerkMin: A fast and robust SAT-solver / rank @@
+Normal rank
@@ Property / cites work @@
+Q2728900
@@ Property / cites work: Q2728900 / rank @@
+Normal rank
@@ Property / cites work @@
+Roof duality, complementation and persistency in quadratic 0–1 optimization
+Normal rank
@@ Property / cites work @@
+Algorithms for the maximum satisfiability problem
@@ Property / cites work: Algorithms for the maximum satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501522
@@ Property / cites work: Q4501522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038710
@@ Property / cites work: Q4038710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375770
@@ Property / cites work: Q4375770 / rank @@
+Normal rank
@@ Property / cites work @@
+Critical Behavior in the Satisfiability of Random Boolean Expressions
+Normal rank
@@ Property / cites work @@
+Using the unconstrained quadratic program to model and solve Max 2-SAT problems
+Normal rank
@@ Property / cites work @@
+Q3624095
@@ Property / cites work: Q3624095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4452900
@@ Property / cites work: Q4452900 / rank @@
+Normal rank
@@ Property / cites work @@
+A bidirectional shortest-path algorithm with good average-case behavior
+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 @@
+Q3981972
@@ Property / cites work: Q3981972 / rank @@
+Normal rank
@@ Property / cites work @@
+Greedy and local search heuristics for unconstrained binary quadratic programming
+Normal rank
@@ Property / cites work @@
+A polynomial-time algorithm to find an equitable home--away assignment
+Normal rank
@@ Property / cites work @@
+Semidefinite programming based approaches to the break minimization problem
+Normal rank
@@ Property / cites work @@
+New Upper Bounds for Maximum Satisfiability
@@ Property / cites work: New Upper Bounds for Maximum Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375767
@@ Property / cites work: Q4375767 / rank @@
+Normal rank
@@ Property / cites work @@
+An Empirical Study of MAX-2-SAT Phase Transitions
@@ Property / cites work: An Empirical Study of MAX-2-SAT Phase Transitions / rank @@
+Normal rank
@@ Property / cites work @@
+Improving exact algorithms for MAX-2-SAT
@@ Property / cites work: Improving exact algorithms for MAX-2-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q3865840
@@ Property / cites work: Q3865840 / 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 @@
+Q2779815
@@ Property / cites work: Q2779815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687275
@@ Property / cites work: Q5687275 / rank @@
+Normal rank
@@ Property / cites work @@
+MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
+Normal rank
@@ Property / cites work @@
+Analyses on the 2 and 3-flip neighborhoods for the MAX SAT
+Normal rank
@@ Property / cites work @@
+Efficient 2 and 3-flip neighborhood search algorithms for the MAX SAT: experimental Evaluation
+Normal rank
@@ Property / cites work @@
+On the Approximation of Maximum Satisfiability
@@ Property / cites work: On the Approximation of Maximum Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Exact Algorithms for MAX-SAT
@@ Property / cites work: Exact Algorithms for MAX-SAT / rank @@
+Normal rank