Boolean Satisfiability in Electronic Design Automation Jo o Marques Silva Informatics Department Technical University of Lisbon IST/INESC, CEL Karem A. Sakallah
An important factor in the development of search methods is the ... Understanding threshhold phenomena lets us tune the hardness of problem instances: ...