Login / Signup
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
SAT
</>
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)