SAT 2005: Satisfiability Research in the Year 2005
Author:   Enrico Giunchiglia ,  Toby Walsh
Publisher:   Springer
Edition:   2006 ed.
ISBN:  

9789400787155


Pages:   293
Publication Date:   03 December 2014
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $448.77 Quantity:  
Add to Cart

Share |

SAT 2005: Satisfiability Research in the Year 2005


Add your own review!

Overview

Full Product Details

Author:   Enrico Giunchiglia ,  Toby Walsh
Publisher:   Springer
Imprint:   Springer
Edition:   2006 ed.
Dimensions:   Width: 15.50cm , Height: 1.60cm , Length: 23.50cm
Weight:   0.462kg
ISBN:  

9789400787155


ISBN 10:   9400787154
Pages:   293
Publication Date:   03 December 2014
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Satisfiability in the Year 2005.- Heuristic-Based Backtracking Relaxation for Propositional Satisfiability.- Symbolic Techniques in Satisfiability Solving.- Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas.- Backdoor Sets for DLL Subsolvers.- The Complexity of Pure Literal Elimination.- Clause Weighting Local Search for SAT.- Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings.- Regular Random k-SAT: Properties of Balanced Formulas.- Applying SAT Solving in Classification of Finite Algebras.- The SAT-based Approach to Separation Logic.- MathSAT: Tight Integration of SAT and Mathematical Decision Procedures.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now