Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Mikoláš Janota
Researcher
PaperCounterexample Guided Abstraction Refinement Algorithm for Propositional CircumscriptionAuthorship / preprint / 2010PaperOn Minimal Corrections in ASPAuthorship / preprint / 2014PaperC-Pack of IPAs: A C90 Program Benchmark of Introductory Programming AssignmentsAuthorship / preprint / 2022PaperBoosting Isomorphic Model Filtering with InvariantsAuthorship / preprint / 2022PaperLearning Equational Theorem ProvingAuthorship / preprint / 2021PaperExploiting Resolution-based Representations for MaxSAT SolvingAuthorship / preprint / 2015PaperTestSelector: Automatic Test Suite Selection for Student Projects -- Extended VersionAuthorship / preprint / 2022