PrecoSAT
From MaRDI portal
swMATH7832MaRDI QIDQ19848FDOQ19848
Author name not available (Why is that?)
Official website: http://fmv.jku.at/precosat/
Cited In (62)
- A SAT-based preimage analysis of reduced \textsc{Keccak} hash functions
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- Automatically comparing memory consistency models
- Efficient all-UIP learned clause minimization
- Solving SAT in a distributed cloud: a portfolio approach
- An expressive model for instance decomposition based parallel SAT solvers
- Soundness of inprocessing in clause sharing SAT solvers
- Partitioning SAT instances for distributed solving
- On the complexity of reconstructing chemical reaction networks
- SAT solving for termination proofs with recursive path orders and dependency pairs
- Efficient CNF simplification based on binary implication graphs
- Finding efficient circuits for ensemble computation
- SAT-based preprocessing for MaxSAT
- A New Look at BDDs for Pseudo-Boolean Constraints
- c-sat
- HaifaSat
- ManySAT
- March_eq
- Pueblo
- Saturn
- GridSAT
- PSATO
- Siege
- PaMiraXT
- PaQuBE
- PicoSAT
- Plingeling
- Glucose
- HeerHugo
- CryptoMiniSat
- antom
- NAGSAT
- Picoso
- PMiniSAT
- PMSat
- ppfolio
- QMiraXT
- SArTagnan
- MetExplore
- pfolioUZK
- CryptLogVer
- HordeSat
- COMiniSatPS
- satUZK
- TCAS
- Lingeling
- Limboole
- BooleForce
- MapleCOMSPS
- MapleCOMSPS_LRB
- Maple_LCM_Dist_ChronoBT
- FourierSAT
- An overview of parallel SAT solving
- Clause vivification by unit propagation in CDCL SAT solvers
- PaMira
- PaSAT
- Scranfilize
- DPLL+ROBDD derivation applied to inversion of some cryptographic functions
- Automatic construction of parallel portfolios via algorithm configuration
- Cardinality networks: a theoretical and empirical study
- Learning rate based branching heuristic for SAT solvers
- The \textsc{MergeSat} solver
This page was built for software: PrecoSAT
