De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
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

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.
  • 8-11 hverdage.
  • 20. november 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.

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: