Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bridging Constraint Satisfaction and Boolean Satisfiability

Über 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783319218090
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 113
  • Veröffentlicht:
  • 11. August 2015
  • Ausgabe:
  • 12015
  • Abmessungen:
  • 235x155x10 mm.
  • Gewicht:
  • 366 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von 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.

Kund*innenbewertungen von Bridging Constraint Satisfaction and Boolean Satisfiability



Ähnliche Bücher finden
Das Buch Bridging Constraint Satisfaction and Boolean Satisfiability ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.