The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mikolás Janota" ( http://dblp.L3S.de/Authors/Mikolás_Janota )

URL (Homepage):  http://sat.inesc-id.pt/~mikolas/  Author page on DBLP  Author page in RDF  Community of Mikolás Janota in ASPL-2

Publication years (Num. hits)
2007-2011 (17) 2012-2014 (24) 2015-2016 (20) 2017-2019 (14)
Publication types (Num. hits)
article(30) inproceedings(44) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 76 publication records. Showing 75 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota PrideMM: A Solver for Relaxed Memory Models. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Olaf Beyersdorff, Leroy Chew, Mikolás Janota New Resolution-Based QBF Calculi and Their Proof Complexity. Search on Bibsonomy TOCT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, Inês Lynce (eds.) Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mikolás Janota On Unordered BDDs and Quantified Boolean Formulas. Search on Bibsonomy EPIA (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mikolas Janota, Martin Suda 0001 Towards Smarter MACE-style Model Finders. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mikolás Janota Towards Generalization in QBF Solving via Machine Learning. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Mikolás Janota Circuit-Based Search Space Pruning in QBF. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Mikolás Janota, Carlos Mencía Minimal sets on propositional formulae. Problems and reductions. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mikolás Janota QFUN: Towards Machine Learning in QBF. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mikolás Janota An Achilles' Heel of Term-Resolution. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mikolas Janota, Radu Grigore, Vasco M. Manquinho On the Quest for an Acyclic Graph. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mikolás Janota, João Marques-Silva An Achilles' Heel of Term-Resolution. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, Radu Grigore, Vasco M. Manquinho On the Quest for an Acyclic Graph. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Mikolás Janota, João Marques-Silva On Minimal Corrections in ASP. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Mikolás Janota, William Klieber, João Marques-Silva, Edmund M. Clarke Solving QBF with counterexample guided refinement. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, João Marques-Silva On the query complexity of selecting minimal sets for monotone predicates. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mikolas Janota On Exponential Lower Bounds for Partially Ordered Resolution. Search on Bibsonomy JSAT The full citation details ... 2016 DBLP  BibTeX  RDF
1Mikolas Janota On Q-Resolution and CDCL QBF Solving. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2016 DBLP  BibTeX  RDF
1Olaf Beyersdorff, Leroy Chew, Mikolas Janota Extension Variables in QBF Resolution. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2016 DBLP  BibTeX  RDF
1Alexey Ignatiev, Mikolás Janota, João Marques-Silva Quantified maximum satisfiability. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Olaf Beyersdorff, Leroy Chew, Mikolas Janota Extension Variables in QBF Resolution. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Mikolás Janota, Christoph M. Wintersteiger On Intervals and Bounds in Bit-vector Arithmetic. Search on Bibsonomy SMT@IJCAR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mikolás Janota On Q-Resolution and CDCL QBF Solving. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xujie Si, Xin Zhang, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik On Incremental Core-Guided MaxSAT Solving. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, Inês Lynce, João Marques-Silva Algorithms for computing backbones of propositional formulae. Search on Bibsonomy AI Commun. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, João Marques-Silva Expansion-based QBF solving versus Q-resolution. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miguel Neves 0001, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho Exploiting Resolution-based Representations for MaxSAT Solving. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Mikolás Janota, William Klieber On Conflicts and Strategies in QBF. Search on Bibsonomy LPAR (short papers) The full citation details ... 2015 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Mikolás Janota Playing with Quantified Satisfaction. Search on Bibsonomy LPAR (short papers) The full citation details ... 2015 DBLP  BibTeX  RDF
1Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Miguel Neves 0001, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho Exploiting Resolution-Based Representations for MaxSAT Solving. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Olaf Beyersdorff, Leroy Chew, Mikolás Janota Proof Complexity of Resolution-based QBF Calculi. Search on Bibsonomy STACS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado Efficient Model Based Diagnosis with Maximum Satisfiability. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Mikolás Janota, João Marques-Silva Solving QBF by Clause Selection. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva Algorithms for computing minimal equivalent subformulas. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mikolas Janota MiFuMax - a Literate MaxSAT Solver. Search on Bibsonomy JSAT The full citation details ... 2014 DBLP  BibTeX  RDF
1Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games. Search on Bibsonomy JSAT The full citation details ... 2014 DBLP  BibTeX  RDF
1Mikolas Janota, Leroy Chew, Olaf Beyersdorff On Unification of QBF Resolution-Based Calculi. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2014 DBLP  BibTeX  RDF
1Olaf Beyersdorff, Leroy Chew, Mikolas Janota Proof Complexity of Resolution-based QBF Calculi. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2014 DBLP  BibTeX  RDF
1João Marques-Silva, Mikolás Janota On the Query Complexity of Selecting Few Minimal Sets. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2014 DBLP  BibTeX  RDF
1Mikolás Janota, João Marques-Silva On Minimal Corrections in ASP. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1João Marques-Silva, Mikolás Janota Computing Minimal Sets on Propositional Formulae I: Problems & Reductions. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Olaf Beyersdorff, Leroy Chew, Mikolas Janota On Unification of QBF Resolution-Based Calculi. Search on Bibsonomy MFCS (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Mikolás Janota, João Marques-Silva Towards efficient optimization in package management systems. Search on Bibsonomy ICSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, Goetz Botterweck, João Marques-Silva On lazy and eager interactive reconfiguration. Search on Bibsonomy VaMoS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, João Marques-Silva On Propositional QBF Expansions and Q-Resolution. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2013 DBLP  BibTeX  RDF
1Mikolás Janota, Radu Grigore, João Marques-Silva On QBF Proofs and Preprocessing. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Mikolás Janota, Radu Grigore, João Marques-Silva On QBF Proofs and Preprocessing. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Mikolás Janota, Anton Belov Minimal Sets over Monotone Predicates in Boolean Formulae. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, João Marques-Silva On Propositional QBF Expansions and Q-Resolution. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Mikolás Janota, João Marques-Silva Quantified Maximum Satisfiability: - A Core-Guided Approach. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1William Klieber, Mikolás Janota, João Marques-Silva, Edmund M. Clarke Solving QBF with Free Variables. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov On Computing Minimal Correction Subsets. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Mikolás Janota, Inês Lynce, Vasco M. Manquinho, João Marques-Silva PackUp: Tools for Package Upgradability Solving. Search on Bibsonomy JSAT The full citation details ... 2012 DBLP  BibTeX  RDF
1Huan Chen 0001, Mikolás Janota, João Marques-Silva QBf-based boolean function bi-decomposition. Search on Bibsonomy DATE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, William Klieber, João Marques-Silva, Edmund M. Clarke Solving QBF with Counterexample Guided Refinement. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva On Computing Minimal Equivalent Subformulas. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lucas Bordeaux, Mikolás Janota, João P. Marques Silva, Pierre Marquis On Unit-Refutation Complete Formulae with Existentially Quantified Variables. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Huan Chen 0001, Mikolás Janota, João P. Marques Silva QBF-Based Boolean Function Bi-Decomposition Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Mikolás Janota, João Marques-Silva cmMUS: A Tool for Circumscription-Based MUS Membership Testing. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, João P. Marques Silva Abstraction-Based Algorithm for 2QBF. Search on Bibsonomy SAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, João P. Marques Silva On Deciding MUS Membership with QBF. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, João Marques-Silva, Radu Grigore Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1João Marques-Silva, Mikolás Janota, Inês Lynce On Computing Backbones of Propositional Theories. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Mikolás Janota, Radu Grigore, João Marques-Silva Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, Goetz Botterweck, Radu Grigore, João P. Marques Silva How to Complete an Interactive Configuration Process? Search on Bibsonomy SOFSEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, Goetz Botterweck, Radu Grigore, João Marques-Silva How to Complete an Interactive Configuration Process? Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Mikolás Janota, João Marques-Silva, Radu Grigore Algorithms for finding dispensable variables Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Goetz Botterweck, Mikolás Janota, Denny Schneeweiss A Design of a Configurable Feature Model Configurator. Search on Bibsonomy VaMoS The full citation details ... 2009 DBLP  BibTeX  RDF
1Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry CLOPS: A DSL for Command Line Options. Search on Bibsonomy DSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, Victoria Kuzina, Andrzej Wasowski Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. Search on Bibsonomy MoDELS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mikolás Janota Do SAT Solvers Make Good Configurators? Search on Bibsonomy SPLC (2) The full citation details ... 2008 DBLP  BibTeX  RDF
1Mikolás Janota, Goetz Botterweck Formal Approach to Integrating Feature and Architecture Models. Search on Bibsonomy FASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, Radu Grigore, Michal Moskal Reachability analysis for annotated code. Search on Bibsonomy SAVCBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ESC/Java2, JML
1Mikolás Janota, Joseph Kiniry Reasoning about Feature Models in Higher-Order Logic. Search on Bibsonomy SPLC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #75 of 75 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license