BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Daniel Le Berre

1 cilt bulundu.

Cilt sonuçları

Decision makingTheory and Applications of Satisfiability Testing SAT 2016Nadia Creignou, Daniel Le Berre

Theory and Applications of Satisfiability Testing SAT 2016

Nadia Creignou, Daniel Le Berre · Springer International Publishing AG

564 sayfa · 2016

Algebra, boolean / Computer algorithms / Decision making