Advanced Boolean TechniquesRolf Drechsler

Advanced Boolean Techniques

Rolf Drechsler, Mathias Soeken · 2023

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2023
Language: English
Publisher: Springer International Publishing AG
Editions: 5
ISBN: 9783031289156

Data source: Wikidata

More by Rolf Drechsler

Towards One-Pass SynthesisRolf Drechsler

Towards One-Pass Synthesis

Rolf Drechsler · 2002

Formal Verification of CircuitsRolf Drechsler

Formal Verification of Circuits

Rolf Drechsler · 2000

Binary Decision DiagramsRolf Drechsler

Binary Decision Diagrams

Rolf Drechsler · 1998

Evolutionary Algorithms for VLSI CADRolf Drechsler

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler · 1998

Formal System VerificationRolf Drechsler

Formal System Verification

Rolf Drechsler · 2017

Formal Modeling and Verification of Cyber-Physical SystemsRolf Drechsler

Formal Modeling and Verification of Cyber-Physical Systems

Rolf Drechsler · 2015

Test pattern generation using Boolean proof enginesRolf Drechsler

Test pattern generation using Boolean proof engines

Rolf Drechsler · 2009

Advanced Formal VerificationRolf Drechsler

Advanced Formal Verification

Rolf Drechsler · 2004

Evolutionary Algorithms for Embedded System DesignRolf Drechsler

Evolutionary Algorithms for Embedded System Design

Rolf Drechsler · 2003

Towards one-pass synthesisRolf Drechsler

Towards one-pass synthesis

Rolf Drechsler · 2002