Mikol\'a\v{s} Janota

Identifiers

• name variant Mikol\'a\v{s} Janota 0.60 · backfill

Papers (7)

1. A Universal Textual Merge Strategy Based on Tokens for Version Control Systems cs.SE · 2026 · author #2
2. PrideMM: A Solver for Relaxed Memory Models cs.LO · 2018 · author #5
3. QFUN: Towards Machine Learning in QBF cs.LO · 2017 · author #1
4. An Achilles' Heel of Term-Resolution cs.LO · 2017 · author #1
5. Exploiting Resolution-based Representations for MaxSAT Solving cs.AI · 2015 · author #3
6. On Minimal Corrections in ASP cs.LO · 2014 · author #1
7. Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription cs.AI · 2010 · author #1

Mentions

• 1505.02405 #3 · backfill · confidence 0.70 Mikol\'a\v{s} Janota
• 1406.7838 #1 · backfill · confidence 0.70 Mikol\'a\v{s} Janota
• 1006.5896 #1 · backfill · confidence 0.70 Mikol\'a\v{s} Janota

Frequent Coauthors

• Joao Marques-Silva 2 shared papers
• Radu Grigore 2 shared papers
• In\^es Lynce 1 shared papers
• Mark Batty 1 shared papers
• Miguel Neves 1 shared papers
• Qiqi Jason Gu 1 shared papers
• Ruben Martins 1 shared papers
• Sarah Harris 1 shared papers
• Simon Cooksey 1 shared papers
• Vasco Manquinho 1 shared papers