Compiling problem specification into SAT
Artificial Intelligence - Special volume on reformulation
Compiling problem specifications into SAT
Artificial Intelligence - Special volume on reformulation
Integer optimization by local search: a domain-independent approach
Integer optimization by local search: a domain-independent approach
Evaluating las vegas algorithms: pitfalls and remedies
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
| Hi-index | 0.00 |