Search alternatives:
smash » slash
sweath » sheath, sweat, sweats
swat » sweat, swan, seat
sat » salt, satz
spath » spat, xpath, spate
-plate » -plates, -place
Cover Image
Read Now

1
by Eggersglüß, Stephan, Drechsler, Rolf
Published 2012
Springer New York
Table of Contents: “... Based on Boolean Satisfiability -- Part II: New SAT Techniques and their Application in ATPG -- Dynamic...”
Cover Image
Read Now

2
by Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel
Published 2009
Springer Netherlands
Table of Contents: “...Preliminaries -- Boolean Satisfiability -- SAT-Based ATPG -- Learning Techniques -- Multiple-Valued...”