Theory and Applications of Satisfiability Testing SAT 2016Nadia Creignou

Theory and Applications of Satisfiability Testing SAT 2016

Nadia Creignou, Daniel Le Berre · 2016

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2016
Language: English
Publisher: Springer International Publishing AG
Editions: 2
Pages: 564
ISBN: 9783319409696

Data source: Wikidata

More by 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