Satisfiability-Based Algorithms for Boolean Optimization


Manquinho, V. and Marques-Silva, J. P. (2004) Satisfiability-Based Algorithms for Boolean Optimization. Annals of Mathematics and Artificial Intelligence, 40, (3-4)

Download

[img] PDF
Download (217Kb)
Item Type: Article
Related URLs:
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
Item ID: 262055
Date Deposited: 02 Mar 2006
Last Modified: 02 Mar 2012 12:59
Contributors: Manquinho, V. (Author)
Marques-Silva, J. P. (Author)
Date: March 2004
Status: Published
Further Information:Google Scholar
ISI Citation Count:8
URI: http://eprints.soton.ac.uk/id/eprint/262055

Actions (login required)

View Item View Item