PyDGGA: Distributed GGA for Automatic Configuration.

Carlos Anstegui, Josep Pon, Meinolf Sellmann, Kevin Tierney

Browse the full SAT paper archive.