Revisiting the Equivalence of Shininess and Politeness (Q2870128)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Revisiting the Equivalence of Shininess and Politeness |
scientific article |
Statements
Revisiting the Equivalence of Shininess and Politeness (English)
0 references
17 January 2014
0 references
Nelson-Oppen method
0 references
combination of satisfiability procedures
0 references
polite theories
0 references
strongly polite theories
0 references
shiny theories
0 references
