![Mathematics / Applied mathematics / Operations research / Boolean algebra / WalkSAT / Boolean satisfiability problem / Local search / Mathematical optimization / Satisfiability / Theoretical computer science / Constraint programming / Logic in computer science Mathematics / Applied mathematics / Operations research / Boolean algebra / WalkSAT / Boolean satisfiability problem / Local search / Mathematical optimization / Satisfiability / Theoretical computer science / Constraint programming / Logic in computer science](https://www.pdfsearch.io/img/07d2ca1f1b5b7fccee3431bba427ae3c.jpg) Date: 2006-09-14 13:48:35Mathematics Applied mathematics Operations research Boolean algebra WalkSAT Boolean satisfiability problem Local search Mathematical optimization Satisfiability Theoretical computer science Constraint programming Logic in computer science | | E MPIRICAL A NALYSIS OF L OCAL S EARCH A LGORITHMS AND P ROBLEM D IFFICULTY IN S ATISFIABILITY by Dave Tae Shik YoonAdd to Reading ListSource URL: tidel.mie.utoronto.caDownload Document from Source Website File Size: 1,03 MBShare Document on Facebook
|