Telecharger Cours

MECHANICAL GENERATION OF SORTS IN CLAUSE SETS ...

Abstract. The algorithm SOGEN is described, which transforms a SIG?sorted clause set CS into a. SIG?sorted clause set CS', where the output clause set is ...



Download