Author of the publication

A layered algorithm for quantifier elimination from linear modular constraints.

, and . Formal Methods Syst. Des., 49 (3): 272-323 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Assertion Based Verification using Yosys: A Case Study from Nuclear Domain., , and . ISEC, page 16:1-16:5. ACM, (2023)Towards Parallel Boolean Functional Synthesis., , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 337-353. (2017)A layered algorithm for quantifier elimination from linear modular constraints., and . Formal Methods Syst. Des., 49 (3): 272-323 (2016)Quantifier Elimination for Linear Modular Constraints., and . ICMS, volume 8592 of Lecture Notes in Computer Science, page 295-302. Springer, (2014)Expertise Identification Using Transformers., , , , and . COMAD/CODS, page 454-458. ACM, (2024)Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors., and . TACAS, volume 7795 of Lecture Notes in Computer Science, page 78-92. Springer, (2013)A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations., and . CAV, volume 6806 of Lecture Notes in Computer Science, page 486-503. Springer, (2011)Detection of Runtime Errors in MISRA C Programs: A Deductive Approach., , , , and . SAFECOMP, volume 4680 of Lecture Notes in Computer Science, page 491-504. Springer, (2007)