Treengeling
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Incremental column-wise verification of arithmetic circuits using computer algebra
- Laissez-faire caching for parallel \#SAT solving
- Partial order reduction for deep bug finding in synchronous hardware
- \(k\)-majority digraphs and the hardness of voting with a constant number of voters
- Improving implementation of SAT competitions 2017--2019 winners
- DRABT
- Merging variables: one technique of search in pseudo-Boolean optimization
- Using merging variables-based local search to solve special variants of MaxSAT problem
- Using machine translation to provide target-language edit hints in computer aided translation based on translation memories
- HordeSat: a massively parallel portfolio SAT solver
- Efficient all-UIP learned clause minimization
- OptiLog: a framework for SAT-based systems
- XOR local search for Boolean Brent equations
- Reproducible efficient parallel SAT solving
- Automatic discovery of structural rules of permutation classes
- New ways to multiply \(3 \times 3\)-matrices
- Mycielski graphs and PR proofs
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
- DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
- Parallelizing SMT solving: lazy decomposition and conciliation
- Simplified and improved separations between regular and general resolution by lifting
- Popularity-similarity random SAT formulas
- Propositional proof systems based on maximum satisfiability
- Community and LBD-based clause sharing policy for parallel SAT solving
- On the completeness of bounded model checking for threshold-based distributed algorithms: reachability
- Machine learning-based restart policy for CDCL SAT solvers
- Leveraging GPUs for effective clause sharing in parallel SAT solving
- c-sat
- kcnfs
- ManySAT
- March_eq
- MiniSat
- SDSAT
- PSATO
- InsEnc
- Plingeling
- GrADSAT
- Glucose
- PrecoSAT
- Runsolver
- CSP2SAT4J
- CryptoMiniSat
- GlueMiniSat
- PMSat
- ppfolio
- SArTagnan
- HERB
- Skeptik
- WILF
- CCASat
- pfolioUZK
- CryptLogVer
- DRAT-trim
- PBLib
- SATenstein
- raSAT
- IGraph/M
- Coprocessor
- HordeSat
- LMHS
- Spybug
- SpySMAC
- Transalg
- ALIAS
- COMiniSatPS
- satUZK
- GPU-PRISM
- GPUexplore
- MaxHS
- ByMC
- CNFgen
- PaInleSS
- multi2boolean
- abcdSAT
- PySAT
- Splatz
- Syrup
- Lingeling
- PermStruct
- PermPAL
- AIGER
- CaDiCaL
- CryptoSAT
- MapleCOMSPS
- MapleCOMSPS_LRB
- reduce
- YalSAT
- mkplot
- CnC
- CCAnr
- cnf2aig
- countAntom
- Maple_LCM_Dist_ChronoBT
- probSAT
- Sparrow2Riss
- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten
- Three-dimensional stable matching with cyclic preferences
- SAT race 2015
- On propositional coding techniques for the distinguishability of objects in finite sets
- An adaptive prefix-assignment technique for symmetry reduction
This page was built for software: Treengeling
