Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Bridging Constraint Satisfaction and Boolean Satisfiability

Bridging Constraint Satisfaction and Boolean Satisfiability - Justyna Petke - Bog

af Justyna Petke

indgår i Artificial Intelligence: Foundations, Theory, and Algorithms serien

Bridging Constraint Satisfaction and Boolean Satisfiability af Justyna Petke
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.
  • 2-3 uger.
  • 19. Juli 2024
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Justyna Petke

Vis alle bøger af Justyna Petke

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



Andre købte også..
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.