Stéphane Graham-Lengrand

Available identifiers

Publication	Date of Publication	Type
QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment	2024-04-26	Paper
Solving bitvectors with MCSAT: explanations from bits and pieces	2022-11-09	Paper
Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs	2022-03-25	Paper
Tight typings and split bounds, fully developed	2020-09-09	Paper
A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic	2020-05-14	Paper
Conflict-driven satisfiability for theory combination: transition system and completeness	2020-03-03	Paper
Satisfiability modulo theories and assignments	2017-09-22	Paper
Axiomatic Constraint Systems for Proof Search Modulo Theories	2017-02-27	Paper
Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture	2013-10-04	Paper

This page was built for person: Stéphane Graham-Lengrand