Name: Bridging Constraint Satisfaction and Boolean Satisfiability
Price: 664.95 DKK
Availability: InStock
Author: Justyna Petke
ISBN: 9783319373645

Bridging Constraint Satisfaction and Boolean Satisfiability af Justyna Petke

Du sparer 0% ift. normalprisen Spar 0%

Bag om Bridging Constraint Satisfaction and Boolean Satisfiability

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers.

Vis mere

Sprog:
Engelsk

ISBN:
9783319373645

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
113

Udgivet:
22. oktober 2016

Udgave:
12015

Størrelse:
155x235x0 mm.

Vægt:
2058 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 9. december 2024

På lager

Normalpris

BLACK WEEK
664,95 kr. + Fragt
~~664,95 kr.~~

Medlemspris

614,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Justyna Petke

Vis alle bøger af Justyna Petke

Beskrivelse af Bridging Constraint Satisfaction and Boolean Satisfiability

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers.

Brugerbedømmelser af Bridging Constraint Satisfaction and Boolean Satisfiability

Andre købte også..

Find lignende bøger

Bogen Bridging Constraint Satisfaction and Boolean Satisfiability findes i følgende kategorier:

Business og læring > Computer og IT

Bridging Constraint Satisfaction and Boolean Satisfiability - Justyna Petke - Bog

Bag om Justyna Petke

Beskrivelse af Bridging Constraint Satisfaction and Boolean Satisfiability

Brugerbedømmelser af Bridging Constraint Satisfaction and Boolean Satisfiability

Gør som tusindvis af andre bogelskere