Stéphane Graham-Lengrand

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 (available as arXiv preprint)	2022-11-09	Paper
Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs Journal of Automated Reasoning	2022-03-25	Paper
Tight typings and split bounds, fully developed Journal of Functional Programming	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 Journal of Automated Reasoning	2020-03-03	Paper
Satisfiability modulo theories and assignments	2017-09-22	Paper
Axiomatic constraint systems for proof search modulo theories Frontiers of Combining Systems	2017-02-27	Paper
Psyche: a proof-search engine based on sequent calculus with an LCF-style architecture Lecture Notes in Computer Science	2013-10-04	Paper

Research outcomes over time

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