ITEM METADATA RECORD
Title: Compiling large disjunctions
Authors: Vandecasteele, Henk
Demoen, Bart
Janssens, Gerda
Issue Date: Jul-2000
Publisher: Department of Computer Science, K.U.Leuven
Series Title: CW Reports vol:CW295 pages:19
URI: 
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Status SizeFormat
CW295.pdf Published 316KbAdobe PDFView/Open

 


All items in Lirias are protected by copyright, with all rights reserved.