Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Theory and Applications of Satisfiability Testing SAT 2008: 11th International C

Ø 0.0

0 Bewertungen

75,24 €

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.

Jetzt bei Ebay:

ISBN-13:

9783540797180
Book Title:

Theory and Applications of Satisfiability Testing SAT 2008
ISBN:

9783540797180

None:

International Standard : tracked-no signature (7 to 15 business days) 22,31 EUR - Lieferung zwischen 19. May 2025 und 27. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Afghanistan , Armenien , Aserbaidschan , Bangladesch , Bhutan , Georgien , Indien , Kasachstan , Kirgisistan , Mongolei , ... und weitere