Publication:3604010
From MaRDI portal
zbMath1159.68561MaRDI QIDQ3604010
Chu-Min Li, Josep Argelich, Jordi Planes, Felip Manyà
Publication date: 24 February 2009
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Unnamed Item, New local search methods for partial MaxSAT, Reformulation based MaxSat robustness, On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes, Resolution-based lower bounds in MaxSAT, An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem, Simple approximation algorithms for balanced MAX~2SAT, Optimizing with minimum satisfiability, Incomplete inference for graph problems, A taxonomy of exact methods for partial Max-SAT, A Max-SAT Inference-Based Pre-processing for Max-Clique, Solving (Weighted) Partial MaxSAT through Satisfiability Testing, Generalizing Core-Guided Max-SAT, Algorithms for Weighted Boolean Optimization
Uses Software