1
0
0
(1 - 17 von 20
)
Author: Carsten Sinz | Interaction Design Foundation (IxDF)
www.interaction-design.org
Carsten Sinz: Publications, bio, bibliography, etc
Carsten Sinz publications - The Journal Clubwww.thejournal.club › author
www.thejournal.club
Carsten Sinz. Affiliation: Unknown. Papers. An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. Haken proved that every resolution ...
Carsten Sinz
www.carstensinz.de
Carsten Sinz Welcome Projects Publications Activities Talks Software CV Links: Carsten Sinz Welcome to my Web Page! I am a computer scientist currently acting as head
Carsten Sinz - Publications
www.carstensinz.de
Carsten Sinz Welcome Projects Publications Activities Talks Software CV Links: Publications [Tech.Reports] Journal Publications 2006– Olga Tveretina, Carsten
Dr. Adrian Balint - Universität Ulm
www.uni-ulm.de
Adrian Balint, Anton Belov, Daniel Diepold, Simon Gerber, Matti Järvisalo and Carsten Sinz (editors) volume B of Department of Computer Science Series of Publications B, University of Helsinki,
SCEAS
sceas.csd.auth.gr
Carsten Sinz: [Publications] [Author Rank by year] [Co-authors] [Prefers] ... Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs.
KIT - Publications
asa.iti.kit.edu
Publications; Title Author Source; Minimizing Models for Tseitin-Encoded SAT Instances: Markus Iser, Carsten Sinz, Mana Taghdiri submitted for publication, 2013
KIT - Publications - Proving Functional Equivalence of two AES...
verialg.iti.kit.edu
Hendrik Post, Carsten Sinz. links: Download: Source: Proceedings of the 2nd International Conference on Software Testing, Verification, and Validation
KIT - Publications - Information flow analysis via path condition...
asa.iti.kit.edu
Information flow analysis via path condition refinement; Author: Mana Taghdiri, Gregor Snelting, Carsten Sinz. links: Place: 7th International Workshop on Formal ...
KIT - Publications - Minimizing Models for Tseitin-Encoded SAT...
asa.iti.kit.edu
Minimizing Models for Tseitin-Encoded SAT Instances; Author: Markus Iser, Carsten Sinz, Mana Taghdiri links: Place: 16th International Conference on Theory and ...
KIT - Publications
asa.iti.kit.edu
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod (Poster Presentation) Author: Markus Iser, Mana Taghdiri, Carsten Sinz
KIT - Publications
asa.iti.kit.edu
Publications; Title Author ... Markus Iser, Mana Taghdiri, Carsten Sinz. 15th International Conference on Theory and Applications of Satisfiability Testing (SAT),
Publications
www.kroening.com
A First Step Towards a Unified Proof Checker for QBF Links: Homepage Document as PDF; Authors: Toni Jussila Armin Biere Carsten Sinz Daniel Kroening EMail
Alle Infos zum Namen "Carsten Sinz"
sortiert nach Relevanz / Datum