ManySAT
From MaRDI portal
swMATH544MaRDI QIDQ13299FDOQ13299
Author name not available (Why is that?)
Official website: http://www.cril.univ-artois.fr/~jabbour/manysat.htm
Cited In (89)
- Parallel MUS extraction
- Arg2P
- What we can learn from conflicts in propositional satisfiability
- Parallel constraint-based local search on the Cell/BE multicore architecture
- ANALYSIS AND SOLUTION OF DISCRETE OPTIMIZATION PROBLEMS WITH LOGICAL CONSTRAINTS ON THE BASE OF L-PARTITION APPROACH
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- Distributed cube and conquer with Paracooba
- DPLL: the core of modern satisfiability solvers
- HordeSat: a massively parallel portfolio SAT solver
- Reproducible efficient parallel SAT solving
- Kissat
- Paracooba
- Learning from conflicts in propositional satisfiability
- Parallelizing SMT solving: lazy decomposition and conciliation
- Propositional SAT solving
- Community and LBD-based clause sharing policy for parallel SAT solving
- Boosting Distributed Constraint Satisfaction
- Partitioning SAT instances for distributed solving
- Bose-Einstein condensation in satisfiability problems
- A review of literature on parallel constraint solving
- Machine learning-based restart policy for CDCL SAT solvers
- Leveraging GPUs for effective clause sharing in parallel SAT solving
- March_eq
- 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
- SAT race 2015
- Automated testing and debugging of SAT and QBF solvers
- ALIAS
- COMiniSatPS
- PaInleSS
- abcdSAT
- MapleAmpharos
- Splatz
- Syrup
- aspeed
- DOC-BRelax
- Lingeling
- CaDiCaL
- CryptoSAT
- MapleCOMSPS
- MapleCOMSPS_LRB
- sunny-cp
- YalSAT
- CnC
- Large-scale parallelism for constraint-based local search: the costas array case study
- An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic
- Cooperative parallel SAT local search with path relinking
- cnf2aig
- countAntom
- An overview of parallel SAT solving
- Revised version of block cipher CHAM
- Scalable SAT solving in the cloud
- PaMira
- PaSAT
- A collaborative approach for multi-threaded SAT solving
- CDCLSym
- cake_lpr
- SLIME
- Black-box optimization in an extended search space for SAT solving
- DPLL+ROBDD derivation applied to inversion of some cryptographic functions
- Partitioning search spaces of a randomized search
- Automatic construction of parallel portfolios via algorithm configuration
- CUD@SAT
- Lazy clause exchange policy for parallel SAT solvers
- SAT competition 2020
- ANALYSIS OF L-STRUCTURE OF POLYHEDRON IN THE PARTIAL MAX SAT PROBLEM
- Laissez-faire caching for parallel \#SAT solving
This page was built for software: ManySAT