A novel algorithm for Max Sat calling MOCE to order (Q2149880): Difference between revisions

@@ Property / describes a project that uses @@
+Walksat
@@ Property / describes a project that uses: Walksat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sat4j
@@ Property / describes a project that uses: Sat4j / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CCLS
@@ Property / describes a project that uses: CCLS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QMaxSAT
@@ Property / describes a project that uses: QMaxSAT / 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-030-92681-6_25
+Normal rank
@@ Property / OpenAlex ID @@
+W4206615854
@@ Property / OpenAlex ID: W4206615854 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving (Weighted) Partial MaxSAT through Satisfiability Testing
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on the cross-entropy method
@@ Property / cites work: A tutorial on the cross-entropy method / rank @@
+Normal rank
@@ Property / cites work @@
+Tight bound on Johnson's algorithm for maximum satisfiability
+Normal rank
@@ Property / cites work @@
+Random MAX SAT, random MAX CUT, and their phase transitions
+Normal rank
@@ Property / cites work @@
+Experimental results on the crossover point in random 3-SAT
+Normal rank
@@ Property / cites work @@
+On a combinatorial game
@@ Property / cites work: On a combinatorial game / rank @@
+Normal rank
@@ Property / cites work @@
+Some optimal inapproximability results
@@ Property / cites work: Some optimal inapproximability results / rank @@
+Normal rank
@@ Property / cites work @@
+Q2786911
@@ Property / cites work: Q2786911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624095
@@ Property / cites work: Q3624095 / rank @@
+Normal rank
@@ Property / cites work @@
+CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
+Normal rank
@@ Property / cites work @@
+Threshold values of random <i>K</i>‐SAT from the cavity method
+Normal rank
@@ Property / cites work @@
+Bounds on Greedy Algorithms for MAX SAT
@@ Property / cites work: Bounds on Greedy Algorithms for MAX SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q5365070
@@ Property / cites work: Q5365070 / rank @@
+Normal rank
@@ Property / cites work @@
+Greedy Algorithms for the Maximum Satisfiability Problem: Simple Algorithms and Inapproximability Bounds
+Normal rank
@@ Property / cites work @@
+Q4247202
@@ Property / cites work: Q4247202 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687271
@@ Property / cites work: Q5687271 / rank @@
+Normal rank