Travelled to:1 × Austria
Collaborated with:O.Lahav A.Zamansky A.Niemetz M.Preiner A.Reynolds C.W.Barrett C.Tinelli S.Grossman I.Abraham G.Golan-Gueta Yan Michalevsky N.Rinetzky M.Sagiv
Talks about:sequent (2) calculi (2) analyt (2) pure (2) sat (2) procedur (1) independ (1) contract (1) callback (1) toward (1)
Person: Yoni Zohar
DBLP: Zohar:Yoni
Contributed to:
20142016
2019
2018Wrote 4 papers:
- IJCAR-2014-LahavZ #calculus #satisfiability
- SAT-Based Decision Procedure for Analytic Pure Sequent Calculi (OL, YZ), pp. 76–90.
- IJCAR-2016-ZoharZ #automation #calculus #named #satisfiability
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (YZ, AZ), pp. 487–495.
- CADE-2019-NiemetzPRZBT #independence #proving #smt #towards
- Towards Bit-Width-Independent Proofs in SMT Solvers (AN, MP, AR, YZ, CWB, CT), pp. 366–384.
- POPL-2018-GrossmanAGMRSZ #contract #detection #effectiveness #online
- Online detection of effectively callback free objects with applications to smart contracts (SG, IA, GGG, YM, NR, MS, YZ), p. 28.