Satisfiability-Based Algorithms for Boolean Optimization

Bibliographic Details
Main Authors:	Manquinho, V. (Author), Marques-Silva, J. P. (Author)
Format:	Article
Language:	English
Published:	2004-03.
Subjects:	Article
Online Access:	Get fulltext

Get fulltext

Similar Items