Udvidet returret til d. 31. januar 2025

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.
  • BLACK NOVEMBER
Leveringstid: 8-11 hverdage
Forventet levering: 7. december 2024

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.