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

PDF
Available under License Creative Commons Attribution Non-commercial No Derivatives.
Download (1314Kb)

Item Type:	Thesis (Doctoral)
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science
Item ID:	265010
Date Deposited:	06 Jan 2008 11:24
Last Modified:	02 Mar 2012 07:32
Contributors:	Marques-Silva, Joao (Author)
Date:	5 May 1995
Status:	Published
Further Information:	Google Scholar
URI:	http://eprints.soton.ac.uk/id/eprint/265010

URI:
RDF:	RDF+N-Triples, RDF+N3, RDF+XML, Browse.

Actions (login required)

View Item