On Validating Boolean Optimizers.

Antnio Morgado, Joo Marques-Silva

Browse the full ICTAI paper archive.