Breaking Cycle Structure to Improve Lower Bound for Max-SAT (Q4632177): Difference between revisions

@@ Property / describes a project that uses @@
+MaxHS
@@ Property / describes a project that uses: MaxHS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UBCSAT
@@ Property / describes a project that uses: UBCSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CCLS
@@ Property / describes a project that uses: CCLS / 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/978-3-319-39817-4_12
+Normal rank
@@ Property / OpenAlex ID @@
+W2480334143
@@ Property / OpenAlex ID: W2480334143 / rank @@
+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 @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A universally fastest algorithm for Max 2-sat, Max 2-CSP, and everything in between
+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 @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687275
@@ Property / cites work: Q5687275 / 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 @@
+Q3624095
@@ Property / cites work: Q3624095 / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting Cycle Structures in Max-SAT
@@ Property / cites work: Exploiting Cycle Structures in Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution-based lower bounds in MaxSAT
@@ Property / cites work: Resolution-based lower bounds in MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for Max-SAT
@@ Property / cites work: Resolution for Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
+Normal rank
@@ Property / cites work @@
+Q4511230
@@ Property / cites work: Q4511230 / rank @@
+Normal rank
@@ Property / cites work @@
+New Upper Bounds for Maximum Satisfiability
@@ Property / cites work: New Upper Bounds for Maximum Satisfiability / rank @@
+Normal rank