![]() |
Volumn 40, Issue 3-4, 2004, Pages 353-372
|
Satisfiability-based algorithms for Boolean optimization
|
Author keywords
Backtrack search; Binate covering problem; Branch and bound; Non chronological backtracking; Propositional satisfiability
|
Indexed keywords
|
EID: 4043152845
PISSN: 10122443
EISSN: None
Source Type: Journal
DOI: 10.1023/b:amai.0000012872.46214.11 Document Type: Article |
Times cited : (19)
|
References (22)
|