Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Bridging Constraint Satisfaction and Boolean Satisfiability

Bridging Constraint Satisfaction and Boolean Satisfiability

av Justyna Petke

del av Artificial Intelligence: Foundations, Theory, and Algorithms-serien

Bridging Constraint Satisfaction and Boolean Satisfiability av Justyna Petke
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319373645
  • Format:
  • Häftad
  • Sidor:
  • 113
  • Utgiven:
  • 22. oktober 2016
  • Utgåva:
  • 12015
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 2058 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 27. januari 2025
Förlängd ångerrätt till 31. januari 2025
  •  

    Kan ej levereras före jul.
    Köp nu och skriv ut ett presentkort

Om Justyna Petke

Se alla böcker av Justyna Petke

Beskrivning 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.

Användarnas betyg av Bridging Constraint Satisfaction and Boolean Satisfiability



Andra köpte även...
Hitta liknande böcker
Boken Bridging Constraint Satisfaction and Boolean Satisfiability finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.