RC2
From MaRDI portal
swMATH36048MaRDI QIDQ51750FDOQ51750
Author name not available (Why is that?)
Official website: https://pysathq.github.io/docs/html/api/examples/rc2.html
Source code repository: https://github.com/pysathq/pysat
Cited In (43)
- QMaxSATpb
- OptiLog
- Clause redundancy and preprocessing in maximum satisfiability
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
- Using merging variables-based local search to solve special variants of MaxSAT problem
- Abstract cores in implicit hitting set MaxSat solving
- A proof builder for Max-SAT
- Efficient SAT-based minimal model generation methods for modal logic S5
- Understanding the power of Max-SAT resolution through up-resilience
- InfOCF-Web
- Sat4j
- BL data set
- QMaxSAT
- MiniMaxSat
- NESCOND
- Open-WBO
- PackUp
- LMHS
- VIPR
- PySMT
- WPM2
- MaxHS
- MaxPre
- Tweety
- PySAT
- PyMiniSolvers
- SATisPy
- PESPLib
- BooleForce
- MapleCOMSPS_LRB
- maxino
- vOptLib
- Assessing progress in SAT solvers through the Lens of incremental SAT
- CCLS
- CCEHC
- GenericWrapper4AC
- SAT-based rigorous explanations for decision lists
- WPM3
- Open-WBO-Inc
- BtorMC
- MergeSat
- MLIC
- \textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT
This page was built for software: RC2
