Guerra e Silva, Luis, Silveira, Miguel and Marques-Silva, Joao (1999) Algorithms for Solving Boolean Satisfiability in Combinational Circuits. Design, Automation and Test in Europe, Munich, Germany. pp. 526-530 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: March 1999
Additional Information:
Event Dates: March, 1999
Venue - Dates:
Design, Automation and Test in Europe, Munich, Germany, 1999-03-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 265004
URI: http://eprints.soton.ac.uk/id/eprint/265004
PURE UUID: abd0177e-ddca-464a-b899-d6e205938276
Catalogue record
Date deposited: 06 Jan 2008 08:51
Last modified: 14 Mar 2024 08:00
Export record
Contributors
Author:
Luis Guerra e Silva
Author:
Miguel Silveira
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.