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...
Love And Above - A Journey Into Shamanism, Coma And Joy (Paperback): Sarah Bullen
Love And Above - A Journey Into…
Sarah Bullen Paperback R330 R284 Discovery Miles 2 840
Anna O (Paperback): Matthew Blake
Anna O
Matthew Blake Paperback R380 R304 Discovery Miles 3 040
Wits University At 100 - From Excavation To Innovation (Paperback): Wits Communications
Wits University At 100 - From Excavation…
Wits Communications Paperback R390 R305 Discovery Miles 3 050
2 Sisters Detective Agency (Paperback): James Patterson, Candice Fox
2 Sisters Detective Agency
James Patterson, Candice Fox Paperback R247 R204 Discovery Miles 2 040
Herontdek Jou Selfvertroue - Sewe Stappe Na 'n Nuwe Jy (Afrikaans, Paperback): Rolene Strauss
Herontdek Jou Selfvertroue - Sewe Stappe…
Rolene Strauss Paperback  (1)
 R330 R284 Discovery Miles 2 840
Fire On The Horizon (Hardcover): Wilbur Smith, Imogen Robertson
Fire On The Horizon
Wilbur Smith, Imogen Robertson Hardcover R385 R260 Discovery Miles 2 600
Twelve Secrets (Paperback): Robert Gold
Twelve Secrets
Robert Gold Paperback R408 R338 Discovery Miles 3 380
Nomad Heart - Adventures on and off the set (Paperback): Ian Roberts
Nomad Heart - Adventures on and off the…
Ian Roberts Paperback R330 R220 Discovery Miles 2 200
Better Choices - Ensuring South Africa's Future (Paperback): Greg Mills, Mcebisi Jonas, Haroon Bhorat, Ray Hartley
Better Choices - Ensuring South Africa's…
Greg Mills, Mcebisi Jonas, … Paperback R350 R301 Discovery Miles 3 010
Al Wat Tel (Afrikaans, Paperback): Irma Venter
Al Wat Tel
Irma Venter Paperback R330 R245 Discovery Miles 2 450

 
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