Yoni Zohar

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Formal Verification of Bit-Vector Invertibility Conditions in Coq	2024-05-03	Paper
Combining Finite Combination Properties: Finite Models and Busy Beavers	2024-05-03	Paper
Combining stable infiniteness and (strong) politeness	2023-10-24	Paper
Reasoning about vectors: satisfiability modulo a theory of sequences	2023-10-24	Paper
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness	2023-05-03	Paper
Flexible proof production in an industrial-strength SMT solver	2022-12-07	Paper
Reasoning about vectors using an SMT theory of sequences	2022-12-07	Paper
Effective semantics for the modal logics K and KT via non-deterministic matrices	2022-12-07	Paper
Politeness for the theory of algebraic datatypes	2022-11-09	Paper
Polite combination of algebraic datatypes	2022-10-24	Paper
Smt-Switch: a solver-agnostic C++ API for SMT solving	2022-03-22	Paper
Politeness and stable infiniteness: stronger together	2021-12-01	Paper
Towards satisfiability modulo parametric bit-vectors	2021-11-24	Paper
Modal extension of ideal paraconsistent four-valued logic and its subsystem	2020-10-07	Paper
Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic	2020-06-09	Paper
Automating automated reasoning. The case of two generic automated reasoning tools	2020-06-04	Paper
DRAT-based bit-vector proofs in CVC4	2020-05-20	Paper
Towards bit-width-independent proofs in SMT solvers	2020-03-10	Paper
Towards automated reasoning in Herbrand structures	2020-02-03	Paper
Pure Sequent Calculi	2019-11-22	Paper
Yet another paradefinite logic: The role of conflation1	2019-11-04	Paper
REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS	2019-06-07	Paper
From the subformula property to cut-admissibility in propositional sequent calculi	2019-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q4636049	2018-04-23	Paper
Cut-admissibility as a corollary of the subformula property	2018-02-02	Paper
Sequent systems for negative modalities	2017-11-29	Paper
Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi	2016-09-05	Paper
On the Construction of Analytic Sequent Calculi for Sub-classical Logics	2015-01-13	Paper
SAT-Based Decision Procedure for Analytic Pure Sequent Calculi	2014-09-26	Paper

Research outcomes over time

This page was built for person: Yoni Zohar