Mikoláš Janota

Available identifiers

zbMath Open janota.mikolasWikidataQ102369905 ScholiaQ102369905MaRDI QIDQ253961

List of research outcomes

Publication	Date of Publication	Type
Computing generating sets of minimal size in finite algebras	2023-06-29	Paper
Targeted configuration of an SMT solver	2023-06-02	Paper
Guiding an automated theorem prover with neural rewriting	2022-12-07	Paper
MiFuMax—a Literate MaxSAT Solver	2021-12-09	Paper
On Exponential Lower Bounds for Partially Ordered Resolution	2021-12-09	Paper
SAT-based encodings for optimal decision trees with explicit paths	2021-04-07	Paper
New Resolution-Based QBF Calculi and Their Proof Complexity	2019-12-16	Paper
Towards Smarter MACE-style Model Finders	2019-07-04	Paper
Circuit-based search space pruning in QBF	2018-08-10	Paper
Minimal sets on propositional formulae. Problems and reductions	2017-11-21	Paper
Algorithms for computing backbones of propositional formulae	2017-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q2954985	2017-01-24	Paper
On Q-Resolution and CDCL QBF Solving	2016-09-05	Paper
Quantified maximum satisfiability	2016-04-20	Paper
Solving QBF with counterexample guided refinement	2016-03-08	Paper
On the query complexity of selecting minimal sets for monotone predicates	2016-03-08	Paper
https://portal.mardi4nfdi.de/entity/Q2786910	2016-02-23	Paper
Exploiting Resolution-Based Representations for MaxSAT Solving	2015-11-20	Paper
Expansion-based QBF solving versus Q-resolution	2015-04-01	Paper
On Unification of QBF Resolution-Based Calculi	2014-10-14	Paper
Algorithms for computing minimal equivalent subformulas	2014-10-13	Paper
On QBF Proofs and Preprocessing	2014-01-17	Paper
Solving QBF with Counterexample Guided Refinement	2013-08-12	Paper
On Propositional QBF Expansions and Q-Resolution	2013-08-05	Paper
Quantified Maximum Satisfiability:	2013-08-05	Paper
Abstraction-Based Algorithm for 2QBF	2011-06-17	Paper
On Computing Backbones of Propositional Theories	2011-05-11	Paper
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription	2010-10-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mikoláš Janota