Title: Satisfiability checking for PC(ID)
Authors: MariĆ«n, Maarten
Mitra, Rudradeb
Denecker, Marc
Bruynooghe, Maurice
Issue Date: Oct-2005
Publisher: Department of Computer Science, K.U.Leuven, Leuven, Belgium
Series Title: CW Reports vol:CW426 pages:16
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Status SizeFormat
CW426.pdf Published 221KbAdobe PDFView/Open


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