Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs anglais (Q113901236)
Aller à la navigation
Aller à la recherche
article scientifique
| Langue | Libellé | Description | Également connu comme |
|---|---|---|---|
| français | Pas de libellé défini |
article scientifique |
|
| anglais | Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs |
scientific article published in 2021 |
Déclarations
Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs (anglais)
Stéphane Graham-Lengrand
Natarajan Shankar
12 septembre 2021
43-91