Circuit satisfiability problem - PDFSEARCH.IO - Document Search Engine

Circuit satisfiability problem
Results: 4

#	Item
1	Symmetry Detection for Large Boolean Functions using Circuit Representation, Simulation, and Satisfiability Jin S. Zhang1 Alan Mishchenko2 Robert Brayton2 Malgorzata Chrzanowska-Jeske1 1 Department of ECE Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-05-08 11:02:36 Electronic engineering Electronic design automation Formal methods Diagrams Symmetry And-inverter graph Binary decision diagram Boolean satisfiability problem Symmetry in mathematics Mathematics Theoretical computer science Boolean algebra
2	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 25, NO. 5, MAY[removed]Using Simulation and Satisfiability to Compute Flexibilities in Boolean Networks Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-11-01 22:55:48 Mathematical logic Algebraic logic Logic Diagrams Formal methods Binary decision diagram Canonical form Circuit Boolean satisfiability problem Theoretical computer science Boolean algebra Mathematics
3	SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko and Robert K. Brayton Department of EECS University of California, Berkeley {alanmi, brayton}@eecs.berkeley.edu Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-12-03 17:46:16 Boolean algebra Electronic design automation Formal methods Bioinformatics Boolean network Logic Boolean satisfiability problem Circuit Model checking Theoretical computer science Applied mathematics Mathematics
4	Fast Boolean Matching for LUT Structures Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-09-26 01:21:56 Mathematical analysis Boolean function Boolean network Lookup table Truth table Circuit Monotonic function Function Boolean satisfiability problem Mathematics Boolean algebra Theoretical computer science