In this paper we show how an interactive use of abstraction in theorem proving can improve the comprehension and reduce the complexity of many significant problems. For such a task we present a fully mechanized example of the very well-known map colouring problem
Proving Theorems by Using Abstraction Interactively
Sebastiani, Roberto;Villafiorita Monteleone, Adolfo;Giunchiglia, Fausto
1995-01-01
Abstract
In this paper we show how an interactive use of abstraction in theorem proving can improve the comprehension and reduce the complexity of many significant problems. For such a task we present a fully mechanized example of the very well-known map colouring problemFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
