Mikoláš Janota

Publications

Citations

H-Index

1963

Active since

Affiliations

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento(Current)

University College Dublin

University of Lisbon

Queen Mary University of London

Carnegie Mellon University

Mikoláš Janota is an author at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento specializing in engineering, computer science, and automated reasoning.

ORCID

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsSatisfiabilityFormal VerificationComputational ComplexityVerificationComputer EngineeringCombinatorial Optimization

Publications per year

1963–2022

Publications

On computing minimal correction subsets

João Marques‐Silva, Federico Heras, Mikoláš Janota et al. · International Joint Conference on Artificial Intelligence · 2013 · 131 citations

Mathematical Programming, Minimal Correction Subsets, Computational Complexity Theory +20

Solving QBF with counterexample guided refinement

Mikoláš Janota, William Klieber, João Marques‐Silva et al. · Artificial Intelligence · 2016 · 85 citations

Computational Logic, Refinement Technique, Engineering +2

Expansion-based QBF solving versus Q-resolution

Mikoláš Janota, João Marques‐Silva · Theoretical Computer Science · 2015 · 75 citations

Computational Complexity Theory, Engineering, Automated Reasoning +5

Solving QBF by clause selection

Mikoláš Janota, João Marques‐Silva · International Conference on Artificial Intelligence · 2015 · 59 citations

Abstraction Refinement, Clause Selection, Computational Logic +14

Algorithms for computing backbones of propositional formulae

Mikoláš Janota, Inês Lynce, João Marques‐Silva · AI Communications · 2015 · 52 citations

Decision Procedure, Engineering, Propositional Formulae +13

Rows per page

1–5 of 34