BerkMin
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Formalization and implementation of modern SAT solvers
- The model evolution calculus as a first-order DPLL method
- Optimization Methods for the Partner Units Problem
- On the resolution of bipolar max-min equations.
- Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools
- GridSAT: Design and implementation of a computational grid application
- Computer Aided Verification
- Hardware and Software, Verification and Testing
- Answer set programming based on propositional satisfiability
- CirCUs
- DPvis
- GNT
- HaifaSat
- MiniSat
- SBSAT
- tts
- UnitWalk
- Zchaff2004
- PLATYPUS
- GridLab
- SatEx
- DiVer
- BarcelogicTools
- GridSAT
- SATLIB
- NP-SPEC
- ASSAT
- TAPS
- UBCSAT
- MAX-2-SAT
- Cmodels
- QingTing1
- Siege
- SATO
- Walksat
- PBS
- SAT competition
- SATIRE
- zChaff
- GrADS
- Chaff
- Limmat
- NiVER
- PaMiraXT
- PicoSAT
- GrADSAT
- Quaffle
- scientific article; zbMATH DE number 2090309 (Why is no real title available?)
- FORCE
- SYMBA
- Eureka
- Jerusat
- SATORI
- MiniMaxSat
- HANNIBAL
- HITEC
- PASSAT
- SOCRATES
- UML2Alloy
- iClingo
- NAGSAT
- AMUSE
- MUP
- ZetaSAT
- ModelSim
- SATLIB Benchmark Suite
- Leibniz
- RSat
- DiffSat
- EVC
- Velev SAT Benchmarks
- Solving SAT problem by heuristic polarity decision-making algorithm
- Conflict analysis in mixed integer programming
- nomore++
- Shatter
- Denali
- MapleSAT
- semprop
- SAT Solver Verification
- Sparrow2Riss
- Towards a design flow for reversible logic
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
- Curriculum-based course timetabling with SAT and MaxSAT
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- scientific article; zbMATH DE number 5510691 (Why is no real title available?)
- scientific article; zbMATH DE number 5620835 (Why is no real title available?)
- scientific article; zbMATH DE number 2080037 (Why is no real title available?)
- Extended Resolution Proofs for Symbolic SAT Solving with Quantification
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Reconfigurable computing. The theory and practice of FPGA-based computation.
- On Solving the Partial MAX-SAT Problem
- Conflict-driven answer set solving: from theory to practice
This page was built for software: BerkMin
