1
0
0
(1 - 25 von 26
)
Detecting Cardinality Constraints in CNF – International Center for...
iccl.inf.tu-dresden.de
Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey Detecting Cardinality Constraints in CNF In Carsten Sinz and Uwe Egly, eds., Theory and Applications of ...
Search results for "Carsten Sinz" – FacetedDBLP
dblp.l3s.de
37, Carsten Sinz, Uwe Egly (eds.) Theory and Applications of Satisfiability Testing - SAT th International Conference, Held as Part of the Vienna ...
dblp: International Conference on Software Testing, Verification, and...
dblp.uni-trier.de
Bibliographic content of International Conference on Software Testing, Verification, and Validation 2009
Search results for "Carsten Sinz and Wolfgang Blochinger and Wolfgang...
dblp.l3s.de
Searching for phrase Carsten Sinz and Wolfgang Blochinger and Wolfgang Küchlin (changed automatically) (no additional terms from query expansion) in all ...
dblp: Theory and Applications of Satisfiability Testing
dblp.uni-trier.de
Bibliographic content of Theory and Applications of Satisfiability Testing
Search results for "Carsten Sinz" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 67 publication records. Showing 66 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Adrian Balint, Anton ...
dblp: International Conference on Formal Engineering Methods
dblp.uni-trier.de
Bibliographic content of International Conference on Formal Engineering Methods
JAR Special Issue on User Interfaces
www.informatik.uni-bremen.de
Carsten Sinz: Visualizing SAT Instances and Runs of the DPLL Algorithm; Preface. Theorem proving is coming of age. While its foundations predate the first computers ...
KIT - YIN - Young Investigator Network (YIN)
www.yin.kit.edu
carsten sinz Loi2 ∂kit edu Forschung: Karlsruher Institut für Technologie . Institut für Theoretische Informatik . Am Fasanengarten 5, Gebäude
Decomposing SAT Problems into Connected Components
cca.informatik.uni-freiburg.de
von A Biere · · Zitiert von: 54 — Carsten Sinz . Institute for Formal Models and Verification,. Johannes Kepler University, Linz, Austria. Abstract. › papers › B...
FG Aufgaben und Ziele
www.informatik.uni-bremen.de
... Institut für Technologie (Bernhard Beckert); 26. Jahrestreffen 2011, Oktober 2011, Karlsruher Institut für Technologie (Carsten Sinz) ... › fruehere_treffen
Search results for "Wolfgang Küchlin" – FacetedDBLP
dblp.l3s.uni-hannover.de
1, Carsten Sinz, Wolfgang Küchlin · Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract) · Search ...
[clean-list] 1st CFP: LoCoCo (Logics for Component Configuration)
mailman.science.ru.nl
... ILOG Inês Lynce, Lisbon (co-chair) Toni Mancini, Roma Albert Oliveras, Barcelona Carsten Sinz, Karlsruhe Ralf Treinen, Paris (co-chair) Nic ...
dblp: KIT-Nachwuchswissenschaftler-Symposium 2010
dblp.org
Bibliographic content of KIT-Nachwuchswissenschaftler-Symposium 2010
Search results for "Carsten Sinz" – FacetedDBLP
dblp.l3s.de
Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf ... Carsten Sinz, Albert Haag, Nina Narodytska, Toby Walsh, Esther Gelle, Mihaela ...
sortiert nach Relevanz / Datum