Theory and Applications of Satisfiability Testing – SAT 2016

19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

AvNadia Creignou,Daniel Le Berre

Häftad, Engelska, 2016

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

  • -30%

En dold skönhet

Lucinda Riley

Pocket, 2026

4,7 utav 5 stjärnor. Totalt antal röster:(16)

69 kr99 kr

  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

5,0 utav 5 stjärnor. Totalt antal röster:(2)

209 kr259 kr

  • -23%

Kött

David Szalay

Inbunden, 2026

4,5 utav 5 stjärnor. Totalt antal röster:(15)

199 kr259 kr

  • 4 för 3
Del 1

Den femte dagen

Åsa Hellberg

Pocket, 2026

4,2 utav 5 stjärnor. Totalt antal röster:(25)

99 kr

  • -30%

Mina vänner

Fredrik Backman

Pocket, 2026

4,0 utav 5 stjärnor. Totalt antal röster:(3)

69 kr99 kr