MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Yacine Boufkhad" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Full CNF Encoding: The Counting Constraints Case
by Olivier Bailleux, Yacine Boufkhad — 2004 — in 7th Intl. Conf. on Theory and Applications of SAT Testing
…Full CNF Encoding: The Counting Constraints Case Olivier Bailleux 1 and Yacine Boufkhad 2 1 LERSIA…
Cited by 4 (0 self) – Add To MetaCart

Tractable cover compilations
by Yacine Boufkhad, Eric Gregoire, Pierre Marquis, Lakhdar Sais — 1997 — in IJCAI’97
…Tractable Cover Compilations* Yacine Boufkhad 1 , Eric Gregoire 2 , Pierre Marquis 2 , Bertrand…
Cited by 16 (8 self) – Add To MetaCart

Regular random k-sat: Properties of balanced formulas
by Yacine Boufkhad, Olivier Dubois, Yannet Interian, Bart Selman — 2005 — Journal of Automated Reasoning
…Regular random k-SAT: properties of balanced formulas Yacine Boufkhad 1 , Olivier Dubois 2…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB