David Fernández-Baca. Nonserial Dynamic Programming Formulations of Satisfiability. Inf. Process. Lett., 27(6):323-326, 1988.
@article{Fernandez-Baca88, title = {Nonserial Dynamic Programming Formulations of Satisfiability}, author = {David Fernández-Baca}, year = {1988}, tags = {programming}, researchr = {https://researchr.org/publication/Fernandez-Baca88}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {27}, number = {6}, pages = {323-326}, }