An Improved Generator for 3-CNF Formulas.

Autor: Uvarov, S. I.1 (AUTHOR) uvarov53@gmail.com
Zdroj: Automation & Remote Control. Jan2020, Vol. 81 Issue 1, p130-138. 9p.
Databáze: Academic Search Ultimate
Externí odkaz: