Bridging Constraint Satisfaction and Boolean Satisfiability
Author:   Justyna Petke
Publisher:   Springer International Publishing AG
Edition:   Softcover reprint of the original 1st ed. 2015
ISBN:  

9783319373645


Pages:   113
Publication Date:   22 October 2016
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $145.17 Quantity:  
Add to Cart

Share |

Bridging Constraint Satisfaction and Boolean Satisfiability


Add your own review!

Overview

Full Product Details

Author:   Justyna Petke
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   Softcover reprint of the original 1st ed. 2015
Dimensions:   Width: 15.50cm , Height: 0.70cm , Length: 23.50cm
Weight:   2.058kg
ISBN:  

9783319373645


ISBN 10:   3319373641
Pages:   113
Publication Date:   22 October 2016
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

Introduction.- Background.- Solver Performance on Tractable CSPs: Empirical Evaluation.- SAT Encodings.- From CSP to SAT: Width Restrictions.- From CSP to SAT: Language Restrictions.- SAT Encodings of a Classical Problem: A Case Study.- Conclusions.    

Reviews

Author Information

Justyna Petke received her D.Phil. from the University of Oxford. She is a Research Associate at the Centre for Research on Evolution, Search and Testing (CREST) in the Dept. of Computer Science, University College London. Her research interests include the connections between constraint satisfaction and search-based software engineering, including genetic improvement and combinatorial interaction testing.

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