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