CADE ATP System Competition

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

CADE ATP System Competition (CASC, gdzie ATP to Automated Theorem Proving) – to najważniejsze zawody systemów automatycznego dowodzenia twierdzeń, organizowane w ramach konferencji CADE.

Programy dostają do rozwiązania problemy z biblioteki TPTP, przy czym wygrywa program który rozwiąże ich najwięcej w najkrótszym czasie.

Zawody odbywają się w kilkunastu kategoriach, różniących się rodzajami problemów, zależnie od takich kwestii jak: