Stéphane Graham-Lengrand

Available identifiers

zbMath Open graham-lengrand.stephaneMaRDI QIDQ832718

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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