A universally fastest algorithm for Max 2-sat, Max 2-CSP, and everything in between (Q414887): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6033497
@@ Property / zbMATH DE Number: 6033497 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+exponential-time algorithm
@@ Property / zbMATH Keywords: exponential-time algorithm / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+polynomial space
@@ Property / zbMATH Keywords: polynomial space / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+satisfiability
@@ Property / zbMATH Keywords: satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constraint satisfaction
@@ Property / zbMATH Keywords: constraint satisfaction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hybrid instances
@@ Property / zbMATH Keywords: hybrid instances / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+measure and conquer
@@ Property / zbMATH Keywords: measure and conquer / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+convex programming
@@ Property / zbMATH Keywords: convex programming / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MAX-2-SAT
@@ Property / describes a project that uses: MAX-2-SAT / 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.jcss.2011.05.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2895952552
@@ Property / OpenAlex ID: W2895952552 / rank @@
+Normal rank
@@ Property / cites work @@
+-coloring in time
@@ Property / cites work: 3-coloring in time / rank @@
+Normal rank
@@ Property / cites work @@
+Feedback Vertex Set in Mixed Graphs
@@ Property / cites work: Feedback Vertex Set in Mixed Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4511230
@@ Property / cites work: Q4511230 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasiconvex analysis of multivariate recurrence equations for backtracking algorithms
+Normal rank
@@ Property / cites work @@
+A measure &amp; conquer approach for the analysis of exact algorithms
+Normal rank
@@ Property / cites work @@
+Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT.
+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 @@
+Q4501522
@@ Property / cites work: Q4501522 / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to proving upper bounds for MAX-2-SAT
+Normal rank
@@ Property / cites work @@
+New Bounds for MAX-SAT by Clause Learning
@@ Property / cites work: New Bounds for MAX-SAT by Clause Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Theoretic Concepts in Computer Science
@@ Property / cites work: Graph-Theoretic Concepts in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal 2-constraint satisfaction via sum-product algorithms
+Normal rank
@@ Property / cites work @@
+Q4375761
@@ Property / cites work: Q4375761 / rank @@
+Normal rank
@@ Property / cites work @@
+New methods for 3-SAT decision and worst-case analysis
+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 @@
+A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach
+Normal rank
@@ Property / cites work @@
+Approximation, Randomization, and Combinatorial Optimization.. Algorithms and Techniques
+Normal rank
@@ Property / cites work @@
+Linear-programming design and analysis of fast algorithms for Max 2-CSP
+Normal rank
@@ Property / cites work @@
+Exact algorithms for finding minimum transversals in rank-3 hypergraphs
+Normal rank
@@ Property / cites work @@
+A new algorithm for optimal 2-constraint satisfaction and its implications
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:414887