Nonserial dynamic programming formulations of satisfiability
David Fernández-BacaVolume:
27
Year:
1988
Language:
english
Pages:
4
DOI:
10.1016/0020-0190(88)90221-9
File:
PDF, 391 KB
english, 1988