Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- 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)
