Amit Palti

According to our database, Amit Palti authored at least 4 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Microlearning Online Framework for Teaching Programming Basics.

Amit Palti, Rinat B. Rosenberg-Kima

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

2007

A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.

Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2005

Encoding RTL Constructs for MathSAT: a Preliminary Report.

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani

Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005

Simultaneous SAT-Based Model Checking of Safety Properties.

Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna

Proceedings of the Hardware and Software Verification and Testing, 2005