EasyChair Smart SlideUser guide
Conference: ANDREI-60 (Automated New-era Deductive Reasoning Event in Iberia)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Evidence Algorithm, SAD systems, and automated theorem proving

Evidence Algorithm, SAD systems, and automated theorem proving

Alexander Lyaletski

ENIGMA Given Clause Guidance

ENIGMA Given Clause Guidance

Karel Chvalovský, Jan Jakubuv, Martin Suda and Josef Urban

Cooperation and Competition in Automated Theorem Proving

Cooperation and Competition in Automated Theorem Proving

Stephan Schulz

Basic Hilbert Bases

Basic Hilbert Bases

Nikolaj Bjorner and Andrei Voronkov

Rewrite Encodings in Dependent Type Theories: The Problem of Confluence

Rewrite Encodings in Dependent Type Theories: The Problem of Confluence

Jean-Pierre Jouannaud

Reconstructing in the Constraint Satisfaction Problem

Reconstructing in the Constraint Satisfaction Problem

Evgeny Dantsin

Some memories from mid-late 90s and how having Andrei as my PhD advisor impacted my life

Some memories from mid-late 90s and how having Andrei as my PhD advisor impacted my life

Margus Veanes

Witness algebra, or who needs category theory?

Witness algebra, or who needs category theory?

Yuri Gurevich

Presentations in this collection: 8
Copyright © 2002 – 2026 EasyChair