Malik, Sharad and Lintao Zhang, ‘Boolean satisfiability from theoretical hardness to practical success’, Communications of the ACM 52.8 (2009), pp 76–82.
journal article · https://doi.org/10.1145/1536616.1536637
Malik, Sharad and Lintao Zhang, ‘Boolean satisfiability from theoretical hardness to practical success’, Communications of the ACM 52.8 (2009), pp 76–82.
journal article · https://doi.org/10.1145/1536616.1536637