Theory and Applications of Satisfiability Testing – SAT 2012

שנה

2012

שפה

English

סדרה

Lecture Notes in Computer Science -- 7317

הוצאה

Springer Berlin Heidelberg

מהדורות

1

ISBN

9783642316128

מקור הנתונים: Wikidata