Search Algorithms for Satisfiability Problems in Combinational Switching Circuits


Marques-Silva, Joao (1995) Search Algorithms for Satisfiability Problems in Combinational Switching Circuits. University of Michigan, Electrical Engineering and Computer Science, Doctoral Thesis .

Item Type: Thesis (Doctoral)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 265010
Date Deposited: 06 Jan 2008 11:24
Last Modified: 27 Mar 2014 20:09
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/265010

Actions (login required)

View Item View Item