Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses

dc.contributor.author	Gorzny, Jan
dc.contributor.author	Woltzenlogel Paleo, Bruno
dc.date.accessioned	2016-06-14T23:21:19Z
dc.identifier.issn	0302-9743
dc.identifier.uri	http://hdl.handle.net/1885/103843
dc.publisher	Springer
dc.rights	Author affiliation statement now added
dc.source	Lecture Notes in Computer Science (LNCS)
dc.title	Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses
dc.type	Journal article
local.description.notes	Imported from ARIES
local.identifier.citationvolume	9195
dc.date.issued	2015
local.identifier.absfor	080201 - Analysis of Algorithms and Complexity
local.identifier.ariespublication	u4334215xPUB1629
local.type.status	Published Version
local.contributor.affiliation	Gorzny, Jan, University of Victoria
local.contributor.affiliation	Woltzenlogel Paleo, Bruno, College of Engineering and Computer Science, ANU
local.description.embargo	2037-12-31
local.bibliographicCitation.startpage	356
local.bibliographicCitation.lastpage	366
local.identifier.doi	10.1007/978-3-319-21401-6_24
local.identifier.absseo	970108 - Expanding Knowledge in the Information and Computing Sciences
dc.date.updated	2016-06-14T09:04:20Z
Collections	ANU Research Publications

File	Description	Size	Format	Image
01_Gorzny_Towards_the_Compression_of_2015.pdf		461.82 kB	Adobe PDF	Request a copy

Show simple item record