Search filters

List of works by Mikoláš Janota

C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments

scientific article published on 11 September 2024

Expansion-based QBF solving versus Q-resolution

scientific article published in April 2015

On Computing Minimal Equivalent Subformulas

scientific article published in 2012

On Deciding MUS Membership with QBF

scientific article published in 2011

On the query complexity of selecting minimal sets for monotone predicates

scientific article published in April 2016

Reachability analysis for annotated code

scientific article published in 2007

Solving QBF with Free Variables

scientific article published in 2013

Solving QBF with counterexample guided refinement

scientific article published in May 2016

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms

scientific article published on 20 October 2024

Paulina is supported by:

About Paulina

Help