EasyChair Smart SlideUser guide
Conference: LPAR 2023 (24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning)

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

Embedding Intuitionistic into Classical Logic

Embedding Intuitionistic into Classical Logic

Alexander Pluska and Florian Zuleger

Refining Unification with Abstraction

Refining Unification with Abstraction

Johannes Schoisswohl, Laura Kovacs, Konstantin Korovin and Ahmed Bhayat

An Interactive SMT Tactic in Coq Using Abductive Reasoning

An Interactive SMT Tactic in Coq Using Abductive Reasoning

Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli and Clark Barrett

Collaborative Inference of Combined Invariants

Collaborative Inference of Combined Invariants

Yurii Kostyukov, Dmitry Mordvinov and Grigory Fedyukovich

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification

Petra Hozzová, Jaroslav Bendík, Alexander Nutz and Yoav Rodeh

A Fast and Accurate ASP Counting Based Network Reliability Estimator

A Fast and Accurate ASP Counting Based Network Reliability Estimator

Mohimenul Kabir and Kuldeep S Meel

Analyzing Multiple Conflicts in SAT: an Experimental Evaluation

Analyzing Multiple Conflicts in SAT: an Experimental Evaluation

Albert Oliveras, Enric Rodríguez Carbonell and Rui Zhao

A Mathematical Benchmark for Inductive Theorem Provers

A Mathematical Benchmark for Inductive Theorem Provers

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

Keep Me out of the Loop: a More Flexible Choreographic Projection

Keep Me out of the Loop: a More Flexible Choreographic Projection

Robert R. Rasmussen, Luís Cruz-Filipe and Fabrizio Montesi

How Much Should This Symbol Weigh? a GNN-Advised Clause Selection

How Much Should This Symbol Weigh? a GNN-Advised Clause Selection

Filip Bártek and Martin Suda

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