Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry.

Josef Urban, Robert Veroff

Browse the full LPAR paper archive.