A Frugal Heuristic for Guessing the Truth of Formulas.

Clia da Costa Pereira, Andrea G. B. Tettamanzi

Browse the full ICAART paper archive.