Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation

João Marques‐Silva; Karem A. Sakallah

doi:10.1007/10722167_3

ScienceGate Book Chapters

BOOK-CHAPTER

Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation

João Marques‐Silva Karem A. Sakallah

Year: 2000 Lecture notes in computer science Pages: 3-3 Publisher: Springer Science+Business Media

DOI: 10.1007/10722167_3

Get Full-Text PDF Get Analytical Report

Keywords:

Computer science Boolean satisfiability problem Electronic design automation And-inverter graph Formal equivalence checking Combinational logic Boolean circuit Maximum satisfiability problem Boolean function Satisfiability Theoretical computer science Algorithm Equivalence (formal languages) Model checking Logic gate Mathematics Embedded system

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.13

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

VLSI and Analog Circuit Testing

Physical Sciences → Computer Science → Hardware and Architecture

VLSI and FPGA Design Techniques

Physical Sciences → Engineering → Electrical and Electronic Engineering

Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation

Metrics

Citation History

Topics

Related Documents

Boolean satisfiability in electronic design automation

Asynchronous team algorithms for Boolean Satisfiability

Tutorial: Evolutionary Design Methods in Electronic Design Automation

HYBRID INCREMENTAL ALGORITHMS FOR BOOLEAN SATISFIABILITY

Asynchronous Team Algorithms for Boolean Satisfiability