Utvidet returrett til 31. januar 2025

Bridging Constraint Satisfaction and Boolean Satisfiability

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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783319373645
  • Bindende:
  • Paperback
  • Sider:
  • 113
  • Utgitt:
  • 22. oktober 2016
  • Utgave:
  • 12015
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 2058 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

Beskrivelse av 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.

Brukervurderinger av Bridging Constraint Satisfaction and Boolean Satisfiability



Finn lignende bøker
Boken Bridging Constraint Satisfaction and Boolean Satisfiability finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.