Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 1614702 (Why is no real title available?)
- scientific article; zbMATH DE number 1670771 (Why is no real title available?)
- scientific article; zbMATH DE number 1701749 (Why is no real title available?)
- Getting to the airport: The oldest planning problem in AI
- scientific article; zbMATH DE number 1765679 (Why is no real title available?)
- scientific article; zbMATH DE number 1796153 (Why is no real title available?)
- scientific article; zbMATH DE number 2088041 (Why is no real title available?)
- scientific article; zbMATH DE number 1453058 (Why is no real title available?)
- Propositional SAT solving
- Equivalency reasoning to solve a class of hard SAT problems.
- A Powerful Technique to Eliminate Isomorphism in Finite Model Search
- On SAT instance classes and a method for reliable performance experiments with SAT solvers
- Logic Programming and Nonmonotonic Reasoning
- scientific article; zbMATH DE number 1538057 (Why is no real title available?)
- Persistent and quasi-persistent lemmas in propositional model elimination
- On deciding subsumption problems
- Formalization of Abstract State Transition Systems for SAT
- scientific article; zbMATH DE number 2088040 (Why is no real title available?)
- The disconnection tableau calculus
- Search-space partitioning for parallelizing SMT solvers
- scientific article; zbMATH DE number 1538058 (Why is no real title available?)
- An effective algorithm for the futile questioning problem
- Theorem proving in technology transfer: The user's point of view
- scientific article; zbMATH DE number 2080337 (Why is no real title available?)
- Loops with abelian inner mapping groups: an application of automated deduction
- Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
- Applying SAT solving in classification of finite algebras
- Computer Aided Verification
- A competitive and cooperative approach to propositional satisfiability
- On the use of autarkies for satisfiability decision
- Logic Programming and Nonmonotonic Reasoning
- The Boolean constraint solver of SWI-Prolog (system description)
- Random backtracking in backtrack search algorithms for satisfiability
- Parallelizing SMT solving: lazy decomposition and conciliation
- A complete adaptive algorithm for propositional satisfiability
- Parallelization of a hyper-linking-based theorem prover
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Logic for Programming, Artificial Intelligence, and Reasoning
- CDCLSym
- Scranfilize
- scientific article; zbMATH DE number 1961995 (Why is no real title available?)
- scientific article; zbMATH DE number 2084700 (Why is no real title available?)
- scientific article; zbMATH DE number 2085281 (Why is no real title available?)
- Formal verification based on Boolean expression diagrams
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models
- Local-search techniques for propositional logic extended with cardinality constraints
- Leveraging GPUs for effective clause sharing in parallel SAT solving
- Equivalent literal propagation in the DLL procedure
- Stochastic systematic search algorithms for satisfiability
- SAT problems with chains of dependent variables
- Lemma and cut strategies for propositional model elimination
- Efficient SAT engines for concise logics: accelerating proof search for zero-one linear constraint systems
- Frame self-orthogonal Mendelsohn triple systems
- Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
- BerkMin: A fast and robust SAT-solver
- scientific article; zbMATH DE number 1614715 (Why is no real title available?)
- PSATO: A distributed propositional prover and its application to quasigroup problems
- Computer Aided Verification
- Logic Programming and Nonmonotonic Reasoning
- CirCUs
- c-sat
- CsegGraph
- DDDLIB
- HaifaSat
- ManySAT
- March_eq
- MiniSat
- Packlib2
- UnitWalk
- PLATYPUS
- SatEx
- LPTP
- GridSAT
- HySAT
- Uppaal2k
- SATLIB
- NP-SPEC
- SNIF-ACT
- TAPS
- PSATO
- UBCSAT
- MAX-2-SAT
- STAN
- QingTing1
- Siege
- Walksat
- PBS
- SAT competition
- SATIRE
- zChaff
- FINDER
- DCTP
- GrAnDe
- SCOTT
- BerkMin
- Chaff
- PaMiraXT
- PaQuBE
- PicoSAT
This page was built for software: SATO
