The Incremental Satisfiability Problem for a Two Conjunctive Normal Form
| Autor: | De Ita Luna, Guillermo, Marcial-Romero, J. Raymundo, Hernández, José A. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 8 December 2016 328:31-45 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect