Using Binary Patterns for Counting Falsifying Assignments of Conjunctive Forms
| Autor: | De Ita Luna, Guillermo, Marcial-Romero, J. Raymundo, Pozos-Parra, Pilar, Hernández, José A. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 9 September 2015 315:17-30 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect