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 .

Download

[img] PDF jpms-phd95.pdf - Other
Available under License Other.

Download (1MB)
Item Type: Thesis (Doctoral)
Organisations: Electronics & Computer Science
ePrint ID: 265010
Date :
Date Event
5 May 1995Published
Date Deposited: 06 Jan 2008 11:24
Last Modified: 17 Apr 2017 19:27
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/265010

Actions (login required)

View Item View Item