Amar Shah

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2025

Instability Track for SMT-COMP.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Learning Short Clauses via Conditional Autarkies.

[BibT_eX]

[DOI]

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

Cazamariposas: Automated Instability Debugging in SMT-Based Program Verification.

[BibT_eX]

[DOI]

Yi Zhou