• Shop by category
  • Powered by eBay
  • Theory and Applications of Satisfiability Testing - SAT 2009: 12th International

    • Item No : 146590333992
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $72.45
    • * Item Description

    • Invited Talks. - SAT Modulo Theories: Enhancing SAT with Special-Purpose Algorithms. - Symbolic Techniques in Propositional Satisfiability Solving. - Applications of SAT. - Finding Lean Induced Cycles in Binary Hypercubes.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category