Now showing items 1-1 of 1

    • Sampling Techniques for Boolean Satisfiability 

      Meel, Kuldeep (2014-04-24)
      Boolean satisfiability (SAT) has played a key role in diverse areas spanning testing, formal verification, planning, optimization, inferencing and the like. Apart from the classical problem of checking boolean satisfiability, ...