Search by property
From International Center for Computational Logic
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
- CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- Generating Clique Coloring Problem Formulas + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- MinitSAT + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- Pcasso -- a Parallel CooperAtive Sat SOlver + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- Riss 4.27 + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- Riss 4.27 BlackBox + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- SparrowToRiss + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- Too Many Rooks + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
