Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem (Q4965126): Difference between revisions

@@ Property / cites work @@
+A survey of very large-scale neighborhood search techniques
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A computational study of local search algorithms for Italian high-school timetabling
+Normal rank
@@ Property / cites work @@
+Core-boosted linear search for incomplete MaxSAT
@@ Property / cites work: Core-boosted linear search for incomplete MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-Boolean optimization
@@ Property / cites work: Pseudo-Boolean optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / 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 @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+On the analysis of the \((1+1)\) evolutionary algorithm
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375757
@@ Property / cites work: Q4375757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5283008
@@ Property / cites work: Q5283008 / rank @@
+Normal rank
@@ Property / cites work @@
+RC2: an Efficient MaxSAT Solver
@@ Property / cites work: RC2: an Efficient MaxSAT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+PySAT: a Python toolkit for prototyping with SAT oracles
+Normal rank
@@ Property / cites work @@
+Location Science
@@ Property / cites work: Location Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146667
@@ Property / cites work: Q4146667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229041
@@ Property / cites work: Q4229041 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4718481
@@ Property / cites work: Q4718481 / rank @@
+Normal rank
@@ Property / cites work @@
+Variable neighborhood search
@@ Property / cites work: Variable neighborhood search / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative and core-guided maxsat solving: a survey and assessment
+Normal rank
@@ Property / cites work @@
+Q4843187
@@ Property / cites work: Q4843187 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition representations of logical equations in problems of inversion of discrete functions
+Normal rank
@@ Property / cites work @@
+Q5109519
@@ Property / cites work: Q5109519 / rank @@
+Normal rank
@@ Property / cites work @@
+Merging Variables: One Technique of Search in Pseudo-Boolean Optimization
+Normal rank
@@ Property / cites work @@
+Q5604434
@@ Property / cites work: Q5604434 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535010
@@ Property / cites work: Q4535010 / rank @@
+Normal rank