Home » Authors » Goharshady Amir, Kafshdar, Thomas, Hader, Laura, Kovács, Harshit Jitendra, Motwani

Goharshady Amir, Kafshdar, Thomas, Hader, Laura, Kovács, Harshit Jitendra, Motwani

Public reference bibliography and cataloged PDF materials authored or published by Goharshady Amir, Kafshdar, Thomas, Hader, Laura, Kovács, Harshit Jitendra, Motwani.

Found 1 document(s) Page 1 of 1

Chapter Randomized Satisfiability Checking for Non-Linear Arithmetic over Finite Fields

Year: 2026 • Source: www.oapen.org • External Catalog

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researcher...