![]() | ![]() |
| 1992 | ||
|---|---|---|
| 1 | Kazuo Iwama, Hidetoshi Abeta, Eiji Miyano: Random Generation of Satisfiable and Unsatisfiable CNF Predicates. IFIP Congress (1) 1992: 322-328 | |
| 1 | Kazuo Iwama | [1] |
| 2 | Eiji Miyano | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page