SATIRE
From MaRDI portal
Cited in
(65)- Transfer function synthesis without quantifier elimination
- Hardware and Software, Verification and Testing
- Combining Abstraction Refinement and SAT-Based Model Checking
- Linear Encodings of Bounded LTL Model Checking
- Correct Hardware Design and Verification Methods
- Computer Aided Verification
- On dedicated CDCL strategies for PB solvers
- Automatic evaluation of context-free grammars (system description)
- The incremental satisfiability problem for a two conjunctive normal form
- Ultimately incremental SAT
- SYSTEMATIC VERSUS LOCAL SEARCH AND GA TECHNIQUES FOR INCREMENTAL SAT
- On weakening strategies for PB solvers
- A SAT-based method for solving the two-dimensional strip packing problem
- Computer Aided Verification
- Formal Methods for Hardware Verification
- A framework for satisfiability modulo theories
- Test Pattern Generation using Boolean Proof Engines
- On SAT instance classes and a method for reliable performance experiments with SAT solvers
- Incomplete dynamic backtracking for linear pseudo-Boolean problems
- Range and set abstraction using SAT
- CirCUs
- HaifaSat
- Pueblo
- UnitWalk
- Zchaff2004
- SATO
- PBS
- BerkMin
- Chaff
- SystemC
- Coala
- QUBOS
- SATORI
- HANNIBAL
- HITEC
- Pinapa
- PASSAT
- SOCRATES
- AMUSE
- MUP
- Velev SAT Benchmarks
- ICS
- C32SAT
- QAGen
- Z34Bio
- semprop
- SatELite
- VIS
- Preprocessing in incremental SAT
- An approach for extracting a small unsatisfiable core
- Theory and Applications of Satisfiability Testing
- A rigorous methodology for specification and verification of business processes
- Efficient SAT engines for concise logics: accelerating proof search for zero-one linear constraint systems
- Towards a design flow for reversible logic
- Formal Methods in Computer-Aided Design
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- Incremental bounded model checking for embedded software
- High Quality Test Pattern Generation and Boolean Satisfiability
- Mining backbone literals in incremental SAT. A new kind of incremental data
- FRAT
- Search techniques for SAT-based Boolean optimization
- Gearing up for effective ASP planning
- SDSAT: Tight integration of small domain encoding and lazy approaches in solving difference logic.
- Decision procedures. An algorithmic point of view
- Robustness and usability in modern design flows
This page was built for software: SATIRE
