Thumbnail
Access Restriction
Open

Author Hampson, Steven ♦ Kibler, Dennis
Source CiteSeerX
Content type Text
Publisher American Mathematical Society
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Plateau Search ♦ Boolean Satisfiability Problem ♦ Large Plateau
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1993-01-01
Publisher Institution Cliques, Coloring and Satisfiability. American Mathematical Society, 1996. Proceedings of the second DIMACS Implementation Challenge