Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Theory and Applications of Satisfiability Testing - SAT 2007 - 10th International Conference, SAT 2007, Lisbon, Portugal, May... Theory and Applications of Satisfiability Testing - SAT 2007 - 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Paperback, 2007 ed.)
Joao Marques-Silva, Karem A. Sakallah
R1,626 Discovery Miles 16 260
Add to cart
Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007.

The 22 revised full papers presented together with 12 revised short papers and two invited talks cover all current research issues in propositional and quantified Boolean formula satisfiability testing.

 Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Sony NEW Playstation Dualshock 4 v2 Controller (Black):
Sony NEW Playstation Dualshock 4 v2…
 (22)
 R1,428 Discovery Miles 14 280
Cable Guy Ikon "Light Up" Marvel Controller and Smartphone Holder:
Cable Guy Ikon "Light Up" Marvel…
R599 R549 Discovery Miles 5 490
Bostik Art & Craft Sprayable Adhesive (200ml):
Bostik Art & Craft Sprayable Adhesive…
R189 R161 Discovery Miles 1 610
LocknLock Pet Dry Food Container (1.6L):
LocknLock Pet Dry Food Container (1.6L)
R109 R91 Discovery Miles 910
Aqua Optima Evolve+ - Plastic 30 Day Filter (Single)(White):
Aqua Optima Evolve+ - Plastic 30 Day…
R198 Discovery Miles 1 980
Ultra Link HDMI 1.5m Cable (Black):
Ultra Link HDMI 1.5m Cable (Black)
R69 R55 Discovery Miles 550
3:16 - The Numbers Of Hope (Paperback): Max Lucado
3:16 - The Numbers Of Hope
Max Lucado Paperback R328 Discovery Miles 3 280
Sterile Wound Dressing:
Sterile Wound Dressing
R5 Discovery Miles 50
Russell Hobbs Royal Pack (Blue) (2 Piece):
Russell Hobbs Royal Pack (Blue) (2…
R1,550 R1,145 Discovery Miles 11 450
Atlas - The Story Of Pa Salt (Paperback): Lucinda Riley, Harry Whittaker
Atlas - The Story Of Pa Salt
Lucinda Riley, Harry Whittaker Paperback R399 R180 Discovery Miles 1 800

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners