Manquinho, Vasco, Flores, Paulo, Marques-Silva, Joao and Oliveira, Arlindo (1997) Prime Implicant Computation Using Satisfiability Algorithms. International Conference on Tools with Artificial Intelligence. pp. 232-239 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 1997
Additional Information:
Event Dates: 1997
Venue - Dates:
International Conference on Tools with Artificial Intelligence, 1997-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 265007
URI: http://eprints.soton.ac.uk/id/eprint/265007
PURE UUID: 73a6baf2-8591-40e3-88cc-21b657046000
Catalogue record
Date deposited: 06 Jan 2008 09:08
Last modified: 14 Mar 2024 08:00
Export record
Contributors
Author:
Vasco Manquinho
Author:
Paulo Flores
Author:
Joao Marques-Silva
Author:
Arlindo Oliveira
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.