Cited in
(55)- Vertical dynamic behavior of three-piece bogie suspensions with two types of friction wedge
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
- Solving satisfiability problems with preferences
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- On dedicated CDCL strategies for PB solvers
- Combinatorial optimization solutions for the maximum quartet consistency problem
- Reasoning with uncertain and inconsistent OWL ontologies
- Terse integer linear programs for Boolean optimization
- Simulation optimization for revenue management of airlines with cancellations and overbooking
- Freight car models and their computer-aided dynamic analysis
- On weakening strategies for PB solvers
- scientific article; zbMATH DE number 5139165 (Why is no real title available?)
- Vector optimization: Singularities, regularizations
- Tools for modeling and solving search problems
- A logical approach to efficient Max-SAT solving
- 2006 and 2007 Max-SAT evaluations: contributed instances
- Generic preferences over subsets of structured objects
- OptSAT
- CP-nets
- Saturn
- MaxSolver
- UBCSAT
- TAMPR
- PBS
- OPBDP
- RPOLY
- CLIPS
- PicoSAT
- Sat4j
- ToulBar2
- OPIUM
- Pedcheck
- MiniMaxSat
- MSUnCore
- Open-WBO
- ROSoClingo
- CNFgen
- lp2normal
- GMCheck
- FourierSAT
- Equality saturation: a new approach to optimization
- Mendelian error detection in complex pedigrees using weighted constraint satisfaction tech\-niques
- scientific article; zbMATH DE number 7455719 (Why is no real title available?)
- Haplotype inference with pseudo-Boolean optimization
- Improving Unsatisfiability-Based Algorithms for Boolean Optimization
- Iterative and core-guided maxsat solving: a survey and assessment
- scientific article; zbMATH DE number 1555363 (Why is no real title available?)
- New Encodings of Pseudo-Boolean Constraints into CNF
- On using cutting planes in pseudo-Boolean optimization
- On SAT Modulo Theories and Optimization Problems
- Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search
- Algorithms for Weighted Boolean Optimization
- Recent Advances in Constraints
- Minimaxsat: an efficient weighted Max-SAT solver
- SAT Solving for Termination Analysis with Polynomial Interpretations
This page was built for software: Pueblo
