LMHS: A SAT-IP Hybrid MaxSAT Solver (Q2818041): Difference between revisions

@@ Property / cites work @@
+SCIP: solving constraint integer programs
@@ Property / cites work: SCIP: solving constraint integer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Formula Preprocessing in MUS Extraction
@@ Property / cites work: Formula Preprocessing in MUS Extraction / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Preprocessing for MaxSAT
@@ Property / cites work: SAT-Based Preprocessing for MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting the Power of mip Solvers in maxsat
@@ Property / cites work: Exploiting the Power of mip Solvers in maxsat / 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 @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+MaxSAT-based encodings for Group MaxSAT
@@ Property / cites work: MaxSAT-based encodings for Group MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Inprocessing Rules
@@ Property / cites work: Inprocessing Rules / rank @@
+Normal rank
@@ Property / cites work @@
+The Implicit Hitting Set Approach to Solve Combinatorial Optimization Problems with an Application to Multigenome Alignment
+Normal rank
@@ Property / cites work @@
+MaxSAT-Based Cutting Planes for Learning Graphical Models
+Normal rank