EasyChair Smart SlideUser guide
Author: Yoni Zohar

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

Being Polite is Not Enough (and Other Limits of Theory Combination)

Being Polite is Not Enough (and Other Limits of Theory Combination)

Guilherme Toledo, Benjamin Przybocki and Yoni Zohar

Combining Combination Properties: an Analysis of Stable Infiniteness, Convexity, and Politeness

Combining Combination Properties: an Analysis of Stable Infiniteness, Convexity, and Politeness

Guilherme Toledo, Yoni Zohar and Clark Barrett

Combining Combination Properties: an Analysis of Stable-Infiniteness, Convexity, and Politeness

Combining Combination Properties: an Analysis of Stable-Infiniteness, Convexity, and Politeness

Guilherme Toledo, Yoni Zohar and Clark Barrett

Effective Semantics for the Modal Logics K and KT via Non-Deterministic Matrices

Effective Semantics for the Modal Logics K and KT via Non-Deterministic Matrices

Ori Lahav and Yoni Zohar

Reasoning About Vectors Using an SMT Theory of Sequences

Reasoning About Vectors Using an SMT Theory of Sequences

Ying Sheng, Andres Noetzli, Andrew Reynolds, Yoni Zohar, David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark Barrett and Cesare Tinelli

Smt-Switch: a Solver-agnostic C++ API for SMT Solving

Smt-Switch: a Solver-agnostic C++ API for SMT Solving

Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli and Clark Barrett

Towards Bit Width Independent Proofs in SMT Solvers

Towards Bit Width Independent Proofs in SMT Solvers

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark Barrett and Cesare Tinelli

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