Mikoláš Janota
Mikoláš Janota
Affiliation: Czech Technical University in Prague, CIIRC
Affiliation: CTU, Prague
Affiliation: Czech Institute of of Informatics, Robotics and Cybernetics (CIIRC)
Affiliation: CIIRC, Prague
Affiliation: Czech Technical University in Prague
Affiliation: Czech Institute of Informatics Robotics and Cybernetics
Talks
(RCRA)
Symmetry Breaking Constraints for SAT Solving · Constraint Satisfaction, SAT e Heuristics
(QBF)
A QBF-like Fragment of EPR · QBF Proof Complexity (PC and QBF Joint Session)
(PC)
A QBF-like Fragment of EPR · QBF Joint Contrib Talks 1
(Vampire)
Vampire in Universal Algebra: Missing Tools [Invited talk] · Equality reasoning(?)
(SMT)
Incremental Linearization for Quantified Nonlinear Integer Arithmetic · Decision Procedures & Automation
(SMT)
LLM2SMT: Building an SMT Solver with Zero Human-Written Code · Learning, LLMs & Counting
(PAAR)
Case Study: Saturations as Explicit Models in Equational Theories · Session 1
(IJCAR)
Presentation of the Bill McCune PhD Award · Awards
Pages in this Program
Program
Program on Saturday, 18 July 2026
RCRA on Saturday, 18 July 2026
RCRA Program
Program on Sunday, 19 July 2026
QBF on Sunday, 19 July 2026
QBF Program
PC on Sunday, 19 July 2026
PC Program
Program on Friday, 24 July 2026
Vampire on Friday, 24 July 2026
Vampire Program
SMT on Friday, 24 July 2026
SMT Program
Program on Saturday, 25 July 2026
PAAR on Saturday, 25 July 2026
PAAR Program
Program on Sunday, 26 July 2026
IJCAR on Sunday, 26 July 2026
IJCAR Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑