Theory and Applications of Satisfiability Testing – SAT 2008 (2008, Taschenbuch)

Brandneu: niedrigster preis

EUR 65,51

Kostenloser Versand
(inkl. MwSt.)
  • Lieferung bis spätestens Di, 24. Apr - Mi, 25. Apr aus Osnabrück, Deutschland
A Preprocessor for Max-SAT Solvers. - Adaptive Restart Strategies for Conflict Driven SAT Solvers. - Designing an Efficient Hardware Implication Accelerator for SAT Solving. - Attacking Bivium Using SAT Solvers.
Verkauft vonaverdo-buch (47457)99.8% positive Bewertungen
Angemeldet als gewerblicher Verkäufer