×
Compute Distance To:
Author ID: janota.mikolas Recent zbMATH articles by "Janota, Mikoláš"
Published as: Janota, Mikoláš
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 210 times in 92 Documents Cited by Year
Expansion-based QBF solving versus Q-resolution. Zbl 1309.68168
Janota, Mikoláš; Marques-Silva, Joao
28
2015
Proof complexity of resolution-based QBF calculi. Zbl 1355.68105
Beyersdorff, Olaf; Chew, Leroy; Janota, Mikoláš
26
2015
Solving QBF with counterexample guided refinement. Zbl 1273.68178
Janota, Mikoláš; Klieber, William; Marques-Silva, Joao; Clarke, Edmund
24
2012
On unification of QBF resolution-based calculi. Zbl 1426.68283
Beyersdorff, Olaf; Chew, Leroy; Janota, Mikoláš
23
2014
Solving QBF with counterexample guided refinement. Zbl 1351.68254
Janota, Mikoláš; Klieber, William; Marques-Silva, Joao; Clarke, Edmund
17
2016
Abstraction-based algorithm for 2QBF. Zbl 1330.68115
Janota, Mikoláš; Marques-Silva, Joao
14
2011
Algorithms for computing backbones of propositional formulae. Zbl 1373.68379
Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao
13
2015
On propositional QBF expansions and Q-resolution. Zbl 1390.03017
Janota, Mikoláš; Marques-Silva, Joao
10
2013
On the query complexity of selecting minimal sets for monotone predicates. Zbl 1351.68117
Janota, Mikoláš; Marques-Silva, Joao
8
2016
New resolution-based QBF calculi and their proof complexity. Zbl 07143742
Beyersdorff, Olaf; Chew, Leroy; Janota, Mikoláš
7
2019
On computing backbones of propositional theories. Zbl 1211.68389
Marques-Silva, Joao; Janota, Mikoláš; Lynce, Inês
5
2010
On Q-resolution and CDCL QBF solving. Zbl 1475.68440
Janota, Mikoláš
5
2016
Minimal sets on propositional formulae. Problems and reductions. Zbl 1419.68098
Marques-Silva, Joao; Janota, Mikoláš; Mencía, Carlos
5
2017
Counterexample guided abstraction refinement algorithm for propositional circumscription. Zbl 1306.68190
Janota, Mikoláš; Grigore, Radu; Marques-Silva, Joao
4
2010
Algorithms for computing minimal equivalent subformulas. Zbl 1405.68340
Belov, Anton; Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao
4
2014
On QBF proofs and preprocessing. Zbl 1407.68454
Janota, Mikoláš; Grigore, Radu; Marques-Silva, Joao
4
2013
Quantified maximum satisfiability: a core-guided approach. Zbl 1390.68598
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
4
2013
Circuit-based search space pruning in QBF. Zbl 06916307
Janota, Mikoláš
3
2018
PackUp: tools for package upgradability solving. Zbl 1348.68228
Janota, Mikoláš; Lynce, Inês; Manquinho, Vasco; Marques-Silva, Joao
2
2012
Quantified maximum satisfiability. Zbl 1334.90075
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
2
2016
Exploiting resolution-based representations for MaxSAT solving. Zbl 1471.68257
Neves, Miguel; Martins, Ruben; Janota, Mikoláš; Lynce, Inês; Manquinho, Vasco
1
2015
SAT-based encodings for optimal decision trees with explicit paths. Zbl 07331042
Janota, Mikoláš; Morgado, António
1
2020
SAT-based encodings for optimal decision trees with explicit paths. Zbl 07331042
Janota, Mikoláš; Morgado, António
1
2020
New resolution-based QBF calculi and their proof complexity. Zbl 07143742
Beyersdorff, Olaf; Chew, Leroy; Janota, Mikoláš
7
2019
Circuit-based search space pruning in QBF. Zbl 06916307
Janota, Mikoláš
3
2018
Minimal sets on propositional formulae. Problems and reductions. Zbl 1419.68098
Marques-Silva, Joao; Janota, Mikoláš; Mencía, Carlos
5
2017
Solving QBF with counterexample guided refinement. Zbl 1351.68254
Janota, Mikoláš; Klieber, William; Marques-Silva, Joao; Clarke, Edmund
17
2016
On the query complexity of selecting minimal sets for monotone predicates. Zbl 1351.68117
Janota, Mikoláš; Marques-Silva, Joao
8
2016
On Q-resolution and CDCL QBF solving. Zbl 1475.68440
Janota, Mikoláš
5
2016
Quantified maximum satisfiability. Zbl 1334.90075
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
2
2016
Expansion-based QBF solving versus Q-resolution. Zbl 1309.68168
Janota, Mikoláš; Marques-Silva, Joao
28
2015
Proof complexity of resolution-based QBF calculi. Zbl 1355.68105
Beyersdorff, Olaf; Chew, Leroy; Janota, Mikoláš
26
2015
Algorithms for computing backbones of propositional formulae. Zbl 1373.68379
Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao
13
2015
Exploiting resolution-based representations for MaxSAT solving. Zbl 1471.68257
Neves, Miguel; Martins, Ruben; Janota, Mikoláš; Lynce, Inês; Manquinho, Vasco
1
2015
On unification of QBF resolution-based calculi. Zbl 1426.68283
Beyersdorff, Olaf; Chew, Leroy; Janota, Mikoláš
23
2014
Algorithms for computing minimal equivalent subformulas. Zbl 1405.68340
Belov, Anton; Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao
4
2014
On propositional QBF expansions and Q-resolution. Zbl 1390.03017
Janota, Mikoláš; Marques-Silva, Joao
10
2013
On QBF proofs and preprocessing. Zbl 1407.68454
Janota, Mikoláš; Grigore, Radu; Marques-Silva, Joao
4
2013
Quantified maximum satisfiability: a core-guided approach. Zbl 1390.68598
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
4
2013
Solving QBF with counterexample guided refinement. Zbl 1273.68178
Janota, Mikoláš; Klieber, William; Marques-Silva, Joao; Clarke, Edmund
24
2012
PackUp: tools for package upgradability solving. Zbl 1348.68228
Janota, Mikoláš; Lynce, Inês; Manquinho, Vasco; Marques-Silva, Joao
2
2012
Abstraction-based algorithm for 2QBF. Zbl 1330.68115
Janota, Mikoláš; Marques-Silva, Joao
14
2011
On computing backbones of propositional theories. Zbl 1211.68389
Marques-Silva, Joao; Janota, Mikoláš; Lynce, Inês
5
2010
Counterexample guided abstraction refinement algorithm for propositional circumscription. Zbl 1306.68190
Janota, Mikoláš; Grigore, Radu; Marques-Silva, Joao
4
2010
all top 5

Cited by 150 Authors

17 Beyersdorff, Olaf
12 Marques-Silva, João P.
9 Janota, Mikoláš
8 Seidl, Martina
7 Blinkhorn, Joshua
6 Chew, Leroy
6 Ignatyev, Alexey A.
5 Egly, Uwe
5 Lonsing, Florian
5 Mahajan, Meena
5 Slivovsky, Friedrich
5 Szeider, Stefan
4 Amendola, Giovanni
4 Dodaro, Carmine
4 Heule, Marijn J. H.
4 Hinde, Luke
4 Järvisalo, Matti
4 Mencía, Carlos
4 Previti, Alessandro
4 Scholl, Christoph
4 Tentrup, Leander
3 Becker, Bernd
3 Ricca, Francesco
3 Şhukla, Anil K.
3 Suda, Martin
3 Wimmer, Ralf D.
2 Biere, Armin
2 Eiter, Thomas
2 Jiang, Jie-Hong Roland
2 Klieber, William
2 Kuncak, Viktor
2 Maratea, Marco
2 Peitl, Tomáš
2 Pulina, Luca
2 Rabe, Markus N.
2 Reynolds, Andrew
2 Schmidt, Renate A.
1 Alonso-Jiménez, José Antonio
1 Alviano, Mario
1 Aranda-Corral, Gonzalo A.
1 Arif, Umair
1 Aydin Gol, Ebru
1 Balabanov, Valeriy
1 Barrett, Clark W.
1 Bendík, Jaroslav
1 Benkoczi, Robert R.
1 Bloem, Roderick
1 Böhm, Benjamin
1 Borrego-Díaz, Joaquín
1 Both, Alan
1 Braud-Santoni, Nicolas
1 Brayton, Robert K.
1 Bryant, Randal E.
1 Černá, Ivana
1 Clarke, Edmund Melson jun.
1 Clemente, Lorenzo
1 Climer, Sharlee
1 Clymo, Judith
1 Čyras, Kristijonas
1 Deters, Morgan
1 Dimitrova, Rayna
1 Dolev, Danny
1 Duckham, Matt
1 Dvořák, Wolfgang
1 Faber, Wolfgang
1 Faymonville, Peter
1 Fernández-Lebrón, M. Magdalena
1 Fichte, Johannes Klaus
1 Finkbeiner, Bernd
1 Froleyks, Nils
1 Gaur, Daya Ram
1 Ge-Ernst, Aile
1 Ghasemi, Mahsa
1 Giráldez-Cru, Jesús
1 Gitina, Karina
1 Hadzic, Vedad
1 Hartman, Christiaan
1 Hecking-Harbusch, Jesko
1 Heinrich, Quentin
1 Heljanko, Keijo
1 Hossain, Akash
1 Hsu, Tzu-Chien
1 Iser, Markus
1 Ivrii, Alexander
1 Jäger, Gerold
1 José Hidalgo-Doblado, M.
1 Kauers, Manuel
1 Kiesl, Benjamin
1 King, Tim
1 Klimek, Radosław
1 Korhonen, Janne H.
1 Krishnamurti, Ramesh
1 Kronegger, Martin
1 Kwekkeboom, Kees
1 Laroussinie, François
1 Le Bodic, Pierre
1 Lenzen, Christoph
1 Levy, Jordi
1 Li, Jianwen
1 Li, Sanjiang
...and 50 more Authors

Citations by Year