Recording and Minimizing Nogoods from Restarts

MLA

Lecoutre, Christophe, et al. “Recording and Minimizing Nogoods from Restarts.” Journal on Satisfiability, Boolean Modeling and Computation, vol. 1, no. 3–4, Mar. 2007, pp. 147–67. EBSCOhost, https://doi.org/10.3233/SAT190009.

APA

Lecoutre, C., Saïs, L., Tabary, S., & Vidal, V. (2007). Recording and Minimizing Nogoods from Restarts. Journal on Satisfiability, Boolean Modeling and Computation, 1(3–4), 147–167. https://doi.org/10.3233/SAT190009

Chicago

Lecoutre, Christophe, Lakhdar Saïs, Sébastien Tabary, and Vincent Vidal. 2007. “Recording and Minimizing Nogoods from Restarts.” Journal on Satisfiability, Boolean Modeling and Computation 1 (3–4): 147–67. doi:10.3233/SAT190009.