EasyChair Smart SlideDocs/Log in
Author: Mikolas Janota

This page shows all presentations of this author published in EasyChair Smart Slide.

A Mathematical Benchmark for Inductive Theorem Provers

A Mathematical Benchmark for Inductive Theorem Provers

Thibault Gauthier, Chad Brown, Mikoláš Janota and Josef Urban

Towards Learning Quantifier Instantiation in SMT

Towards Learning Quantifier Instantiation in SMT

Mikolas Janota, Jelle Piepenbrock and Bartosz Piotrowski

PrideMM: Second Order Model Checking for Memory Consistency Models

PrideMM: Second Order Model Checking for Memory Consistency Models

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore and Mikolas Janota

Towards Smarter MACE-style Model Finders

Towards Smarter MACE-style Model Finders

Mikolas Janota and Martin Suda

Circuit-based Search Space Pruning in QBF

Circuit-based Search Space Pruning in QBF

Mikolas Janota

Presentations in this collection: 5
Copyright © 2002 – 2024 EasyChair