Counting Models in Integer Domains

Morgado, A. J., De Oliveira Cantante De Matos, P., Manquinho, V. and Marques-Silva, J. (2006) Counting Models in Integer Domains. In: International Conference on Theory and Applications of Satisfiability Testing, August 2006, Seattle, USA. pp. 410-423.

Download

Preview

PDF 471Kb

Item Type:	Conference or Workshop Item
Creator/Authors:	Antonio Jose Morgado Paulo De Oliveira Cantante De Matos Vasco Manquinho Joao Marques-Silva
Research Group:	Old ECS Groups > Dependable Systems and Software Engineering Research Group
Date:	August 2006
Information about this record:
Performance Indicator:	EZ~04~01~04
Citations:	ISI: 1, Google Scholar: 7
Downloads (2010):	5
ID Code:	12431
Last Modified:	23 Sep 2011 10:33
Deposited On:	28 Apr 2006 by Marques-Silva, Joao

Tools & Metadata

Download Statistics

Members of ECS may view the download statistics dashboard for this record.

Corrections

ECS staff and postgraduates may modify this record