Idir Gouachi

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Hachemi Bennaceur, Idir Gouachi, Gérard Plateau
An Incremental Branch-and-Bound Method for the Satisfiability Problem. INFORMS J. Comput. 10 (3) (1998)