Lindsey Stuntz

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Weighted Max Sat

Modulo Theories

Statistical Machine Translation

Cross Language Information Retrieval

Top Venues

Publications

Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, Clark W. Barrett
Smt-Switch: A Solver-Agnostic C++ API for SMT Solving. SAT (2021)