Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Generating Satisfiable Problem Instances Dimitris Achlioptas
 

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