![]() | ![]() |
| 2007 | ||
|---|---|---|
| 1 | Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea: Approximate Satisfiability Counting. SYNASC 2007: 196-202 | |
| 1 | Stefan Andrei | [1] |
| 2 | Victor Felea | [1] |
| 3 | Roland H. C. Yap | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page