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

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:
9783319218090

Forlag:
Springer International Publishing AG

Indbinding:
Hardback

Sideantal:
113

Udgivet:
11. august 2015

Udgave:
12015

Størrelse:
235x155x10 mm.

Vægt:
366 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 15. november 2024

På lager

Normalpris

BLACK NOVEMBER
544,95 kr. + Fragt
~~544,95 kr.~~

Medlemspris

494,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