Exact Max-SAT solvers for over-constrained problems (Q2506236): Difference between revisions

@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MaxSolver
@@ Property / describes a project that uses: MaxSolver / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2026630111
@@ Property / OpenAlex ID: W2026630111 / rank @@
+Normal rank
@@ Property / cites work @@
+Faster exact algorithms for hard problems: A parameterized point of view
+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 @@
+A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
+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 @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+-Way vs.d -Way Branching for CSP
@@ Property / cites work: 2 -Way vs.d -Way Branching for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+On the parallel complexity of discrete relaxation in constraint satisfaction networks
+Normal rank
@@ Property / cites work @@
+Partition-based lower bound for Max-CSP
@@ Property / cites work: Partition-based lower bound for Max-CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Current approaches for solving over-constrained problems
+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