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...”
Cover Image
Read Now

3
Published 2004
Springer US
Table of Contents: “...What SAT-solvers Can and Cannot Do -- Advancements in Mixed BDD and SAT Techniques -- Equivalence...”
Cover Image
Read Now

4
by Ebendt, Rudiger, Fey, Görschwin, Drechsler, Rolf
Published 2005
Springer US
Table of Contents: “.... Relation between SAT and BDDS. 6.1. Davis-Putnam Procedure. 6.2. On the Relation between DP Procedure...”
Cover Image
Read Now

5
by Huhn, Sebastian, Drechsler, Rolf
Published 2021
Springer International Publishing
Table of Contents: “... for Test Access Ports -- Optimization SAT-based Retargeting for Embedded Compression -- Reconfigurable TAP...”
Cover Image
Read Now

6
by Huhn, Sebastian, Drechsler, Rolf
Published 2023
Springer International Publishing
Table of Contents: “... für Testzugriffsports -- Optimiertes SAT-basiertes Retargeting für eingebettete Kompression...”
Cover Image
Read Now

7
Published 2020
Springer International Publishing
Table of Contents: “... Matrices Associated With Bent Functions -- Chapter 5. Improving SAT Solving Using
Monte Carlo Tree Search...”
Cover Image
Read Now

8
Published 2023
Springer International Publishing
Table of Contents: “... Systems -- Chapter 6. SAT-based Key Determination Attack for Improving the Quality Assessment of Logic...”