Capelli, F., & Strozecki, Y. (2018). Enumerating models of DNF faster: Breaking the dependency on the formula size.
Style de citation Chicago (17e éd.)Capelli, Florent, et Yann Strozecki. Enumerating Models of DNF Faster: Breaking the Dependency on the Formula Size. 2018.
Style de citation MLA (9e éd.)Capelli, Florent, et Yann Strozecki. Enumerating Models of DNF Faster: Breaking the Dependency on the Formula Size. 2018.
Attention : ces citations peuvent ne pas être correctes à 100%.