Yoni Zohar

From MaRDI portal
Person:1682295

Available identifiers

zbMath Open zohar.yoniMaRDI QIDQ1682295

List of research outcomes





PublicationDate of PublicationType
Formal Verification of Bit-Vector Invertibility Conditions in Coq2024-05-03Paper
Combining Finite Combination Properties: Finite Models and Busy Beavers2024-05-03Paper
Combining stable infiniteness and (strong) politeness2023-10-24Paper
Reasoning about vectors: satisfiability modulo a theory of sequences2023-10-24Paper
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness2023-05-03Paper
Flexible proof production in an industrial-strength SMT solver2022-12-07Paper
Reasoning about vectors using an SMT theory of sequences2022-12-07Paper
Effective semantics for the modal logics K and KT via non-deterministic matrices2022-12-07Paper
Politeness for the theory of algebraic datatypes2022-11-09Paper
Polite combination of algebraic datatypes2022-10-24Paper
Smt-Switch: a solver-agnostic C++ API for SMT solving2022-03-22Paper
Politeness and stable infiniteness: stronger together2021-12-01Paper
Towards satisfiability modulo parametric bit-vectors2021-11-24Paper
Modal extension of ideal paraconsistent four-valued logic and its subsystem2020-10-07Paper
Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic2020-06-09Paper
Automating automated reasoning. The case of two generic automated reasoning tools2020-06-04Paper
DRAT-based bit-vector proofs in CVC42020-05-20Paper
Towards bit-width-independent proofs in SMT solvers2020-03-10Paper
Towards automated reasoning in Herbrand structures2020-02-03Paper
Pure Sequent Calculi2019-11-22Paper
Yet another paradefinite logic: The role of conflation12019-11-04Paper
REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS2019-06-07Paper
From the subformula property to cut-admissibility in propositional sequent calculi2019-01-31Paper
https://portal.mardi4nfdi.de/entity/Q46360492018-04-23Paper
Cut-admissibility as a corollary of the subformula property2018-02-02Paper
Sequent systems for negative modalities2017-11-29Paper
Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi2016-09-05Paper
On the Construction of Analytic Sequent Calculi for Sub-classical Logics2015-01-13Paper
SAT-Based Decision Procedure for Analytic Pure Sequent Calculi2014-09-26Paper

Research outcomes over time

This page was built for person: Yoni Zohar