| |
| 2005 | ||
|---|---|---|
| 4 | EE | Hubie Chen, Yannet Interian: A Model for Generating Random Quantified Boolean Formulas. IJCAI 2005: 66-71 |
| 3 | EE | Yacine Boufkhad, Olivier Dubois, Yannet Interian, Bart Selman: Regular Random k-SAT: Properties of Balanced Formulas. J. Autom. Reasoning 35(1-3): 181-200 (2005) |
| 2004 | ||
| 2 | EE | Yannet Interian: Approximation Algorithm for Random MAX-kSAT. SAT 2004 |
| 1 | EE | Yannet Interian: Approximation Algorithm for Random MAX- kSAT. SAT (Selected Papers 2004: 173-182 |
| 1 | Yacine Boufkhad | [3] |
| 2 | Hubie Chen | [4] |
| 3 | Olivier Dubois | [3] |
| 4 | Bart Selman | [3] |