Theory and Applications of Satisfiability Testing SAT 2016Nadia Creignou

Theory and Applications of Satisfiability Testing SAT 2016

Nadia Creignou, Daniel Le Berre · 2016

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2016
שפה: English
הוצאה: Springer International Publishing AG
מהדורות: 2
עמודים: 564
ISBN: 9783319409696

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

עוד של Nadia Creignou

Complexity classifications of Boolean constraint satisfaction problemsNadia Creignou

Complexity classifications of Boolean constraint satisfaction problems

Nadia Creignou · 1987

Complexity of ConstraintsNadia Creignou

Complexity of Constraints

Nadia Creignou · 2008