Twain Byrnes

According to our database, Twain Byrnes authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Learning Short Clauses via Conditional Autarkies.

Amar Shah, Twain Byrnes, Joseph E. Reeves, Marijn J. H. Heule

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

2024

Automatically Enforcing Rust Trait Properties.

Twain Byrnes, Yoshiki Takashima, Limin Jia

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024