Open-WBO: A Modular MaxSAT Solver,
From MaRDI portal
Publication:3192090
DOI10.1007/978-3-319-09284-3_33zbMath1423.68461OpenAlexW2185680923MaRDI QIDQ3192090
Ruben Martins, Inês Lynce, Vasco M. Manquinho
Publication date: 26 September 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-09284-3_33
Related Items
Efficient Learning of Interpretable Classification Rules, Exploiting Resolution-Based Representations for MaxSAT Solving, SAT-Based Horn Least Upper Bounds, New local search methods for partial MaxSAT, maxSAT-based large neighborhood search for high school timetabling, \textsc{Conjure}: automatic generation of constraint models from problem specifications, Coupling different integer encodings for SAT, An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem, A constraint optimization approach to causal discovery from subsampled time series data, Upper bound computation of information leakages for unbounded recursion, Optimizing phylogenetic supertrees using answer set programming, Boosting branch-and-bound MaxSAT solvers with clause learning, Functional synthesis via input-output separation, Exact and approximate determination of the Pareto front using minimal correction subsets, Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability, Integrating Passengers' Routes in Periodic Timetabling: A SAT approach., Solving Graph Problems via Potential Maximal Cliques, Modeling and solving staff scheduling with partial weighted maxSAT, Resizing cardinality constraints for MaxSAT, Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions, Propositional proof systems based on maximum satisfiability, On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes, Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability, Understanding cutting planes for QBFs, Understanding the power of Max-SAT resolution through up-resilience, Reactive synthesis with maximum realizability of linear temporal logic specifications, Voting on multi-issue domains with conditionally lexicographic preferences, Pakota: A System for Enforcement in Abstract Argumentation, Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search, Unnamed Item, On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving, ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver, Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT, Proofs and Certificates for Max-SAT, Efficient local search for pseudo Boolean optimization, The \textsc{MergeSat} solver, A proof builder for Max-SAT
Uses Software
