Summary: Generating Satisfiable Problem Instances
Dimitris Achlioptas
Microsoft Research
Redmond, WA 98052
optas@microsoft.com
Carla Gomes
Dept. of Comp. Sci.
Cornell Univ.
Ithaca, NY 14853
gomes@cs.cornell.edu
Henry Kautz
AT&T Research
Florham Park, NJ
kautz@research.att.com
Bart Selman
Dept. of Comp. Sci.
Cornell Univ.
Ithaca, NY 14853
selman@cs.cornell.edu
Abstract

Source: Achlioptas, Dimitris - Department of Computer Engineering, University of California at Santa Cruz

Collections: Computer Technologies and Information Sciences