De Aller-Bedste Bøger - over 12 mio. danske og engelske 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.
  • 8-11 hverdage.
  • 6. december 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: