swMATH6917MaRDI QIDQ18983FDOQ18983
Author name not available (Why is that?)
Official website: http://eigold.tripod.com/BerkMin.html
Cited In (only showing first 100 items - show all)
- GridSAT: Design and implementation of a computational grid application
- Solving SAT problem by heuristic polarity decision-making algorithm
- Computer Aided Verification
- Extended Resolution Proofs for Symbolic SAT Solving with Quantification
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- On Solving the Partial MAX-SAT Problem
- Title not available (Why is that?)
- Curriculum-based course timetabling with SAT and MaxSAT
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
- Answer set programming based on propositional satisfiability
- Formalization and implementation of modern SAT solvers
- Reconfigurable computing. The theory and practice of FPGA-based computation.
- Conflict-driven answer set solving: from theory to practice
- CirCUs
- DPvis
- GNT
- HaifaSat
- MiniSat
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- SBSAT
- Title not available (Why is that?)
- 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
- 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
- Conflict analysis in mixed integer programming
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools
- nomore++
- Shatter
- Denali
- MapleSAT
- semprop
- SAT Solver Verification
- Towards a design flow for reversible logic
- Sparrow2Riss
- Hardware and Software, Verification and Testing
- Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
- 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.
- Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
This page was built for software: BerkMin
