Skip to content

Search Techniques for Rational Polynomial Orders.

Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jrgen Giesl, Salvador Lucas, Peter Schneider-Kamp

Year2008
ProceedingsAISC/MKM/Calculemus

Browse the full AISC paper archive.