Mikolás Janota

发表

Mikolás Janota, Radu Grigore, Vasco M. Manquinho, 2017, RCRA@AI*IA.
Mikolás Janota, Joao Marques-Silva, Joao Marques-Silva, 2011, SAT.
Mikolás Janota, Joao Marques-Silva, Alexey Ignatiev, 2015, IJCAI.
Mikolás Janota, Joao Marques-Silva, 2011, LPNMR.
Mikolás Janota, Joao Marques-Silva, Joao Marques-Silva, 2014, ArXiv.
Mikolás Janota, Joao Marques-Silva, 2014, Electron. Colloquium Comput. Complex..
Mikolás Janota, Olaf Beyersdorff, Leroy Chew, 2016, AAAI Workshop: Beyond NP.
Mikolás Janota, Joao Marques-Silva, Edmund M. Clarke, 2012, SAT.
Mikolás Janota, Joao Marques-Silva, Alexey Ignatiev, 2013, SAT.
Mikolás Janota, Joao Marques-Silva, Huan Chen, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Mikolás Janota, Inês Lynce, Joao Marques-Silva, 2012, CP.
Mikolás Janota, Joao Marques-Silva, Goetz Botterweck, 2014, VaMoS '14.
Mikolás Janota, Radu Grigore, Dermot Cochran, 2009, DSL.
Mikolás Janota, Mikoláš Janota, 2018, AAAI.
Mikolás Janota, Joao Marques-Silva, 2016, Artif. Intell..
Mikolás Janota, Nikolaj Bjørner, N. Bjørner, 2015, LPAR.
Mikolás Janota, Mikoláš Janota, 2017, ArXiv.
Mikolás Janota, Olaf Beyersdorff, Leroy Chew, 2015, STACS.
Mikolás Janota, Christoph M. Wintersteiger, 2016, SMT@IJCAR.
Mikolás Janota, Joao Marques-Silva, Pierre Marquis, 2012, KR.
Mikolás Janota, Radu Grigore, Michal Moskal, 2007, SAVCBS '07.
Mikolás Janota, Martin Suda, M. Suda, 2018, LPAR.
Mikolás Janota, Alexey Ignatiev, Joao Marques-Silva, 2015, Constraints.
Mikolás Janota, Joao Marques-Silva, Alexey Ignatiev, 2014, ICSE.
Mikolás Janota, Mikolás Janota, 2000 .
Mikolás Janota, Nikolaj Bjørner, William Klieber, 2015, LPAR.
Mikolás Janota, Radu Grigore, Joao Marques-Silva, 2013, LPAR.
Mikolás Janota, Andrzej Wasowski, Victoria Kuzina, 2008, MoDELS.
Mikolás Janota, Joao Marques-Silva, Edmund M. Clarke, 2013, CP.
Mikolás Janota, Joao Marques-Silva, 2013, SAT.
Mikolás Janota, Joao Marques-Silva, Anton Belov, 2013, CAV.
Mikolás Janota, Radu Grigore, Joao Marques-Silva, 2010, SOFSEM.
Mikolás Janota, Joao Marques-Silva, 2011, CP.
Mikolás Janota, Joao Marques-Silva, Joao Marques-Silva, 2015, IJCAI.
Mikolás Janota, 2016, J. Satisf. Boolean Model. Comput..
Mikolás Janota, Vasco M. Manquinho, Inês Lynce, 2015, SAT.
Mikolás Janota, Vasco M. Manquinho, Inês Lynce, 2012, J. Satisf. Boolean Model. Comput..
Mikolás Janota, Joao Marques-Silva, Edmund M. Clarke, 2012, SAT.
Mikolás Janota, 2008, SPLC.
Mikolás Janota, 2014, J. Satisf. Boolean Model. Comput..
Mikolás Janota, Joao Marques-Silva, 2015, Theor. Comput. Sci..
Mikolás Janota, Radu Grigore, Mark Batty, 2019, ArXiv.
Mikolás Janota, Olaf Beyersdorff, Leroy Chew, 2014, MFCS.
Mikolás Janota, Joao Marques-Silva, 2017, RCRA@AI*IA.
Mikolás Janota, Goetz Botterweck, Goetz Botterweck, 2008, FASE.
Mikolás Janota, Inês Lynce, Joao Marques-Silva, 2010, ECAI.
Mikolás Janota, Inês Lynce, Joao Marques-Silva, 2015, AI Commun..
Mikolás Janota, Radu Grigore, Joao Marques-Silva, 2009, ArXiv.
Xin Zhang, Mikolás Janota, Vasco M. Manquinho, 2016, CP.
Mikolás Janota, Jie-Hong Roland Jiang, Magdalena Widl, 2015, AAAI.
Mikolás Janota, Joao Marques-Silva, Carlos Mencía, 2017, Artif. Intell..
Mikolás Janota, Joseph Kiniry, J. Kiniry, 2007, 11th International Software Product Line Conference (SPLC 2007).
Mikolás Janota, Florian Lonsing, Martina Seidl, 2014, J. Satisf. Boolean Model. Comput..
Mikolás Janota, Inês Lynce, Joao Marques-Silva, 2014, Artif. Intell..
Mikolás Janota, Mikoláš Janota, 2016, SAT.
Mikolás Janota, Radu Grigore, Mark Batty, 2019, FM Workshops.
Mikolás Janota, Chad Brown, 2021, SMT.
Mikolás Janota, Vasco M. Manquinho, António Morgado, 2021, CP.
Mikolás Janota, João Araújo, Choiwah Chow, 2021, CP.
Mikolás Janota, Jan Jakubuv, Andrew Reynolds, 2021, SMT.
Mikolás Janota, Jan Hula, David Mojzísek, 2021, 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI).