MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability (Q2457672): Difference between revisions

@@ Property / describes a project that uses @@
+PBS
@@ Property / describes a project that uses: PBS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WSAT(OIP)
@@ Property / describes a project that uses: WSAT(OIP) / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / 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.1016/j.artint.2005.01.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2029688740
@@ Property / OpenAlex ID: W2029688740 / rank @@
+Normal rank
@@ Property / cites work @@
+Some results and experiments in programming techniques for propositional logic
+Normal rank
@@ Property / cites work @@
+A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471319
@@ Property / cites work: Q4471319 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Programming
@@ Property / cites work: Linear Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / 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 @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+On projected newton barrier methods for linear programming and an equivalence to Karmarkar’s projective method
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Roof duality, complementation and persistency in quadratic 0–1 optimization
+Normal rank
@@ Property / cites work @@
+Q5538300
@@ Property / cites work: Q5538300 / rank @@
+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 @@
+Q5538306
@@ Property / cites work: Q5538306 / rank @@
+Normal rank
@@ Property / cites work @@
+Input Proofs and Rank One Cutting Planes
@@ Property / cites work: Input Proofs and Rank One Cutting Planes / rank @@
+Normal rank
@@ Property / cites work @@
+Branch-and-cut solution of inference problems in propositional logic
+Normal rank
@@ Property / cites work @@
+Branching rules for satisfiability
@@ Property / cites work: Branching rules for satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation algorithms for combinatorial problems
+Normal rank
@@ Property / cites work @@
+Q4375770
@@ Property / cites work: Q4375770 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581642
@@ Property / cites work: Q5581642 / rank @@
+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 @@
+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 @@
+Smoothed analysis of algorithms
@@ Property / cites work: Smoothed analysis of algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687275
@@ Property / cites work: Q5687275 / rank @@
+Normal rank
@@ Property / cites work @@
+Integer optimization by local search. A domain-independent approach
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Exact Algorithms for MAX-SAT
@@ Property / cites work: Exact Algorithms for MAX-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475628
@@ Property / cites work: Q4475628 / rank @@
+Normal rank