Mikolas Janota

Identifiers

• name variant Mikolas Janota 0.60 · backfill

Papers (6)

1. On the Quest for an Acyclic Graph cs.LO · 2017 · author #1
2. Computing Minimal Sets on Propositional Formulae I: Problems & Reductions cs.LO · 2014 · author #2
3. On QBF Proofs and Preprocessing cs.LO · 2013 · author #1
4. QBF-Based Boolean Function Bi-Decomposition cs.LO · 2011 · author #2
5. How to Complete an Interactive Configuration Process? cs.SE · 2009 · author #1
6. Algorithms for finding dispensable variables cs.DS · 2009 · author #1

Mentions

• 1402.3011 #2 · backfill · confidence 0.70 Mikolas Janota
• 1310.2491 #1 · backfill · confidence 0.70 Mikolas Janota
• 1112.2313 #2 · backfill · confidence 0.70 Mikolas Janota
• 0910.3913 #1 · backfill · confidence 0.70 Mikolas Janota
• 0910.0013 #1 · backfill · confidence 0.70 Mikolas Janota

Frequent Coauthors

• Joao Marques-Silva 5 shared papers
• Radu Grigore 4 shared papers
• Goetz Botterweck 1 shared papers
• Huan Chen 1 shared papers
• Vasco Manquinho 1 shared papers