ManySAT
From MaRDI portal
Cited in
(94)- Arg2P
- ANALYSIS OF L-STRUCTURE OF POLYHEDRON IN THE PARTIAL MAX SAT PROBLEM
- ANALYSIS AND SOLUTION OF DISCRETE OPTIMIZATION PROBLEMS WITH LOGICAL CONSTRAINTS ON THE BASE OF L-PARTITION APPROACH
- Parallel constraint-based local search on the Cell/BE multicore architecture
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- Bose-Einstein condensation in satisfiability problems
- Parallel MUS extraction
- What we can learn from conflicts in propositional satisfiability
- Partitioning search spaces of a randomized search
- Black-box optimization in an extended search space for SAT solving
- Automated testing and debugging of SAT and QBF solvers
- Propositional SAT solving
- Reproducible efficient parallel SAT solving
- Kissat
- Paracooba
- Revised version of block cipher CHAM
- Distributed cube and conquer with Paracooba
- DPLL: the core of modern satisfiability solvers
- A collaborative approach for multi-threaded SAT solving
- Learning from conflicts in propositional satisfiability
- Cooperative parallel SAT local search with path relinking
- DPLL+ROBDD derivation applied to inversion of some cryptographic functions
- Machine learning-based restart policy for CDCL SAT solvers
- Community and LBD-based clause sharing policy for parallel SAT solving
- SAT competition 2020
- Partitioning SAT instances for distributed solving
- c-sat
- March_eq
- GridSAT
- PSATO
- FRODO__2
- CSPLib
- SATO
- BG-WalkSAT
- Chaff
- PaMiraXT
- PaQuBE
- PicoSAT
- Plingeling
- GrADSAT
- PrecoSAT
- ChainSAT
- SOCRATES
- antom
- PMiniSAT
- PMSat
- ppfolio
- SArTagnan
- ZetaSAT
- Grid BnB
- CryptLogVer
- RSat
- Sparrow2011
- Treengeling
- SATGraf
- HordeSat
- Scalable SAT solving in the cloud
- ALIAS
- COMiniSatPS
- PaInleSS
- abcdSAT
- MapleAmpharos
- Splatz
- Syrup
- aspeed
- DOC-BRelax
- Lingeling
- CaDiCaL
- CryptoSAT
- MapleCOMSPS
- MapleCOMSPS_LRB
- sunny-cp
- YalSAT
- CnC
- HordeSat: a massively parallel portfolio SAT solver
- cnf2aig
- countAntom
- Parallelizing SMT solving: lazy decomposition and conciliation
- A review of literature on parallel constraint solving
- Lazy clause exchange policy for parallel SAT solvers
- PaMira
- PaSAT
- CDCLSym
- cake_lpr
- SLIME
- Large-scale parallelism for constraint-based local search: the costas array case study
- An overview of parallel SAT solving
- SAT race 2015
- Automatic construction of parallel portfolios via algorithm configuration
- Leveraging GPUs for effective clause sharing in parallel SAT solving
- CUD@SAT
- Boosting Distributed Constraint Satisfaction
- An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic
- Laissez-faire caching for parallel \#SAT solving
This page was built for software: ManySAT
