Home » Authors » Paula Chocron, Pascal Fontaine, Christophe Ringeissen

Paula Chocron, Pascal Fontaine, Christophe Ringeissen

Public reference bibliography and cataloged PDF materials authored or published by Paula Chocron, Pascal Fontaine, Christophe Ringeissen.

Found 1 document(s) Page 1 of 1

Politeness and Combination Methods for Theories with Bridging Functions

Year: 2020 • Source: hal.science • Listed PDF

The Nelson-Oppen combination method is ubiquitous in Satisfiability Modulo Theories solvers. However, one of its major drawbacks is to be restricted to disjoint unions of theories. We investigate the problem of extending...