Lower Bounding Techniques for SAT-Based Boolean Optimization


Manquinho, V. and Marques-Silva, J. P. (2001) Lower Bounding Techniques for SAT-Based Boolean Optimization. In, Third International Workshop on Integration of AI and OR Techniques , 375-388.

Download

[img] Postscript
Download (230Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: April 2001
Related URLs:
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 262269
Date Deposited: 04 Apr 2006
Last Modified: 27 Mar 2014 20:05
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262269

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics