Udvidet returret til d. 31. januar 2025

Bøger af Rudiger Ebendt

Filter
Filter
Sorter efterSorter Populære
  • af Rolf Drechsler, Görschwin Fey & Rudiger Ebendt
    1.665,95 - 1.675,95 kr.

    VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. Latest results in BDD optimization are given, c- ering di?erent aspects of paths in BDDs and the use of e?cient lower bounds during optimization.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.