Title: Satisfiability and model counting in open universes
Authors: Belle, Vaishak
Issue Date: 12-Feb-2016
Publisher: AAAI Press
Host Document: Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona, USA, February 12, 2016 pages:288-294
Conference: Beyond NP, AAAI Workshop
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
ou.pdf Published 103KbAdobe PDFView/Open


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