Morgado, Antonio Jose, De Oliveira Cantante De Matos, Paulo, Manquinho, Vasco and Marques-Silva, Joao (2006) Counting Models in Integer Domains. International Conference on Theory and Applications of Satisfiability Testing, Seattle, United States. pp. 410-423 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: August 2006
Additional Information:
Event Dates: August 2006
Venue - Dates:
International Conference on Theory and Applications of Satisfiability Testing, Seattle, United States, 2006-08-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262431
URI: http://eprints.soton.ac.uk/id/eprint/262431
PURE UUID: 572da658-0ff7-419d-b3d2-95986b2a772b
Catalogue record
Date deposited: 28 Apr 2006
Last modified: 14 Mar 2024 07:12
Export record
Contributors
Author:
Antonio Jose Morgado
Author:
Paulo De Oliveira Cantante De Matos
Author:
Vasco Manquinho
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.