dblp.uni-trier.dewww.uni-trier.de

Yannet Interian

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
4EEHubie Chen, Yannet Interian: A Model for Generating Random Quantified Boolean Formulas. IJCAI 2005: 66-71
3EEYacine 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
2EEYannet Interian: Approximation Algorithm for Random MAX-kSAT. SAT 2004
1EEYannet Interian: Approximation Algorithm for Random MAX- kSAT. SAT (Selected Papers 2004: 173-182

Coauthor Index

1Yacine Boufkhad [3]
2Hubie Chen [4]
3Olivier Dubois [3]
4Bart Selman [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)