Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation +
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +
- Generalized Büchi Automata versus Testing Automata for Model Checking +
- Heuristics for Checking Liveness Properties with Partial Order Reductions +
- Hierarchical Set Decision Diagrams and Automatic Saturation +
- Model Checking using Generalized Testing Automata +
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework +
- On the Usefulness of Clause Strengthening in Parallel SAT Solving +
- PaInleSS: a Framework for Parallel SAT Solving +
- Parallel Explicit Model Checking for Generalized Büchi Automata +
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking +
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata +
- Three SCC-based Emptiness Checks for Generalized Büchi Automata +
- Variations on Parallel Explicit Model Checking for Generalized Büchi Automata +
- libDMC: a library to Operate Efficient Distributed Model Checking +
- polyDD: Towards a Framework Generalizing Decision Diagrams +