Marques-Silva, Joao (1995) Search Algorithms for Satisfiability Problems in Combinational Switching Circuits. University of Michigan, Electrical Engineering and Computer Science, Doctoral Thesis.
Record type:
Thesis
(Doctoral)
More information
Published date: 5 May 1995
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 265010
URI: http://eprints.soton.ac.uk/id/eprint/265010
PURE UUID: 63f5ba45-9606-4bc2-bae4-28aa4f5369c7
Catalogue record
Date deposited: 06 Jan 2008 11:24
Last modified: 14 Mar 2024 08:00
Export record
Contributors
Author:
Joao Marques-Silva
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.