Open Research

Blocking and other enhancements for bottom-up model generation methods

dc.contributor.author	Baumgartner, Peter
dc.contributor.author	Schmidt, Renate A.
dc.contributor.editor	W. Ahrendt
dc.contributor.editor	P. Baumgartner
dc.contributor.editor	H. de Nivelle
dc.coverage.spatial	Seattle USA
dc.date.accessioned	2015-12-07T22:31:08Z
dc.date.created	August 17-20 2006
dc.identifier.isbn	9783540371878
dc.identifier.uri	http://hdl.handle.net/1885/22635
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	Blocking and other enhancements for bottom-up model generation methods
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	u8803936xPUB22
local.type.status	Published Version
local.contributor.affiliation	Baumgartner, Peter, College of Engineering and Computer Science, ANU
local.contributor.affiliation	Schmidt, Renate A., University of Manchester
local.description.embargo	2037-12-31
local.bibliographicCitation.startpage	125
local.bibliographicCitation.lastpage	139
dc.date.updated	2022-09-04T08:18:07Z
Collections	ANU Research Publications

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