Markedets billigste bøger
Levering: 1 - 2 hverdage

Bridging Constraint Satisfaction and Boolean Satisfiability

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
  • Indbinding:
  • Hardback
  • Sideantal:
  • 113
  • Udgivet:
  • 11. august 2015
  • Udgave:
  • 12015
  • Størrelse:
  • 235x155x10 mm.
  • Vægt:
  • 366 g.
Leveringstid: 8-11 hverdage
Forventet levering: 16. januar 2025

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



Find lignende bøger
Bogen Bridging Constraint Satisfaction and Boolean Satisfiability findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.