Lindsey Stuntz

According to our database, Lindsey Stuntz authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving.

Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, Clark W. Barrett

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021