Amit Palti

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 1

Top Topics

Distance Education

Programming Language

Top Venues

Publications

Amit Palti, Rinat B. Rosenberg-Kima
A Microlearning Online Framework for Teaching Programming Basics. SIGCSE (2021)
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. CAV (2007)
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani
Encoding RTL Constructs for MathSAT: a Preliminary Report. Electron. Notes Theor. Comput. Sci. 144 (2) (2006)
Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna
Simultaneous SAT-Based Model Checking of Safety Properties. Haifa Verification Conference (2005)