swMATH25459MaRDI QIDQ37197FDOQ37197
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-94144-8_26
Cited In (75)
- RC2: an efficient MaxSAT solver
- Arg2P
- OptiLog
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- Using merging variables-based local search to solve special variants of MaxSAT problem
- dCAQE
- Certified DQBF solving by definition extraction
- OptiLog: a framework for SAT-based systems
- GOSDT
- Kissat
- Paracooba
- \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT
- xclingo
- Learning Optimal Decision Sets and Lists with SAT
- Optimized SAT encoding of conformance checking artefacts
- On Tackling Explanation Redundancy in Decision Trees
- Cover combinatorial filters and their minimization problem
- Witnesses for Answer Sets of Logic Programs
- HyperBench
- SATLIB
- Glucose
- ASPARTIX
- cmMUS
- D-FLAT
- Ltur
- AMUSE
- MUP
- MUSer2
- PBLib
- BEACON
- PySMT
- MiFuMax
- lp2normal
- Jdrasil
- pylgl
- PyMiniSolvers
- SATisPy
- Democratix
- IDonSquareGridR2
- ORL
- PMLB
- QUICKXPLAIN
- AIGER
- MSOAR
- CaDiCaL
- mkplot
- openQASM
- A SAT encoding to compute aperiodic tiling rhythmic canons
- Assessing progress in SAT solvers through the Lens of incremental SAT
- RC2
- Pyverilog
- Golly
- HgMUS
- Maple_LCM_Dist_ChronoBT
- FourierSAT
- Evaluating ESOP Optimization Methods in Quantum Compilation Flows
- SAT-based rigorous explanations for decision lists
- Learning MAX-SAT from contextual examples for combinatorial optimisation
- Title not available (Why is that?)
- PyDL8.5
- DeepSynth
- Open-WBO-Inc
- MergeSat
- lazybv2int
- metaSMT
- PyPBLib
- SBV
- MLIC
- SMT Kit
- QRATPre+
- ITI
- MediBoost
- \textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT
- Finding the hardest formulas for resolution
- Smt-Switch: a solver-agnostic C++ API for SMT solving
This page was built for software: PySAT
