Generating "random" 3-SAT instances with specific solution space structure

• Authors:

• Pushkin R. Pari;Jane Lin;Lin Yuan;Gang Qu

• Affiliations:

• Department of Electrical and Computer Engineering, University of Maryland, College Park, Maryland;Department of Electrical and Computer Engineering, University of Maryland, College Park, Maryland;Department of Electrical and Computer Engineering, University of Maryland, College Park, Maryland;Department of Electrical and Computer Engineering, University of Maryland, College Park, Maryland

• Venue:
• AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
• Year:
• 2004