Open Research

Computing finite models by reduction to function-free clause logic

dc.contributor.author	Baumgartner, Peter
dc.contributor.author	Fuchs, Alexander
dc.contributor.author	de Nivelle, Hans
dc.contributor.author	Tinelli, Cesare
dc.coverage.spatial	Seattle USA
dc.date.accessioned	2015-12-07T22:31:36Z
dc.date.created	August 17-20 2006
dc.identifier.isbn	9783540371878
dc.identifier.uri	http://hdl.handle.net/1885/22833
dc.publisher	Conference Organising Committee
dc.relation.ispartofseries	International Joint Conference on Automated Reasoning (IJCAR 2006)
dc.source	Proceedings of DISPROVING-06: Non-Theorems, Non-Validity, Non-Provability
dc.source.uri	http://www.easychair.org/FLoC-06/DISPROVING.html
dc.title	Computing finite models by reduction to function-free clause logic
dc.type	Conference paper
local.description.notes	Imported from ARIES
local.description.refereed	Yes
dc.date.issued	2006
local.identifier.absfor	080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublication	u8803936xPUB23
local.type.status	Published Version
local.contributor.affiliation	Baumgartner, Peter, College of Engineering and Computer Science, ANU
local.contributor.affiliation	Fuchs, Alexander, University of Iowa
local.contributor.affiliation	de Nivelle, Hans, Max Planck Institute for Informatics
local.contributor.affiliation	Tinelli, Cesare, University of Iowa
local.description.embargo	2037-12-31
local.bibliographicCitation.startpage	82
local.bibliographicCitation.lastpage	95
dc.date.updated	2015-12-07T10:19:08Z
Collections	ANU Research Publications

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.