Theory and Applications of Satisfiability Testing – SAT 2017
Book title Buchtitel
Theory and Applications of Satisfiability Testing – SAT 2017
Editor Herausgeber_in
Publisher Herausgeber
Lecture Notes in Computer Science (LNCS) / Springer
Place of publishing Erscheinungsort
10491
Series Schriftenreihe
Lecture Notes in Computer Science
Subject
- 1 Decompositions
- 1 Finding
- 1 Improvement
- 1 Local
- 1 SAT-Based
- 1 Small
- 1 Tree
- 1 Width
Date issued
- 2 2017
Results 1-2 of 2 (Search time: 0.001 seconds).