Viktor Schuppan

Identifiers

• name variant Viktor Schuppan 0.60 · backfill

Papers (3)

1. Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance cs.LO · 2013 · author #1
2. Extracting Unsatisfiable Cores for LTL via Temporal Resolution cs.LO · 2012 · author #1
3. Linear Encodings of Bounded LTL Model Checking cs.LO · 2006 · author #5

Mentions

• 1306.2694 #1 · backfill · confidence 0.70 Viktor Schuppan
• 1212.3884 #1 · backfill · confidence 0.70 Viktor Schuppan

Frequent Coauthors

• Armin Biere 1 shared papers
• Keijo Heljanko 1 shared papers
• Timo Latvala 1 shared papers
• Tommi Junttila 1 shared papers