Theory and Applications of Satisfiability Testing - SAT 2014 Image close
Theory and Applications of Satisfiability Testing - SAT 2014
Theory and Applications of Satisfiability Testing - SAT 2014
Show Hide Adult Content
Theory and Applications of Satisfiability Testing - SAT 2014 close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Theory and Applications of Satisfiability Testing - SAT 2014

17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$156.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.00 with Afterpay Learn more

6 weekly interest-free payments of $26.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Advances in Self-Organizing Maps
$152.00
Advances in Self-Organizing Maps
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science
$152.00
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$152.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
STACS 2006
$330.00
STACS 2006
Paperback / softback
Available - Usually ships in 3-4 weeks
Developments in Language Theory
$155.00
Developments in Language Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
String Processing and Information Retrieval
$154.00
String Processing and Information Retrieval
Paperback / softback
Available - Usually ships in 3-4 weeks
Integer Programming and Combinatorial Optimization
$154.00
Integer Programming and Combinatorial Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logistics
$193.00
Computational Logistics
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinatorial Algorithms
$157.00
Combinatorial Algorithms
Paperback / softback
Available - Usually ships in 3-4 weeks
Space-Efficient Data Structures, Streams, and Algorithms
$154.00
Space-Efficient Data Structures, Streams, and Algorithms
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Applications of Models of Computation
$152.00
Theory and Applications of Models of Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Neural Information Processing
$162.00
Neural Information Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Spatial Information Theory
$157.00
Spatial Information Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2007
$476.00
Computational Science and Its Applications - ICCSA 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Genetic Programming
$153.00
Genetic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic Based Program Synthesis and Transformation
$150.00
Logic Based Program Synthesis and Transformation
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 21 regular papers, 7 short papers and 4 tool papers presented together with 2 invited talks were carefully reviewed and selected from 78 submissions. The papers have been organized in the following topical sections: maximum satisfiability; minimal unsatisfiability; complexity and reductions; proof complexity; parallel and incremental (Q)SAT; applications; structure; simplification and solving; and analysis.
Release date NZ
August 4th, 2014
Audience
  • Professional & Vocational
Contributors
  • Edited by Carsten Sinz
  • Edited by Uwe Egly
Illustrations
77 Illustrations, black and white; XXVI, 448 p. 77 illus.
Pages
448
Dimensions
155x235x24
ISBN-13
9783319092836
Product ID
22534523

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Artificial intelligence