Show simple item record

dc.contributor.authorHerlihy, B
dc.contributor.authorSchachte, P
dc.contributor.authorSondergaard, H
dc.date.available2014-05-21T22:50:58Z
dc.date.issued2007-04-01
dc.identifierhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000250926300004&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=d4d813f4571fa7d6246bdc0dfeca3a1c
dc.identifier.citationHerlihy, B., Schachte, P. & Sondergaard, H. (2007). Un-kleene boolean equation solving. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 18 (2), pp.227-250. https://doi.org/10.1142/S0129054107004668.
dc.identifier.issn0129-0541
dc.identifier.urihttp://hdl.handle.net/11343/29293
dc.description.abstractWe present a new method for finding closed forms of recursive Boolean function definitions. Traditionally, these closed forms are found by Kleene iteration: iterative approximation until a fixed point is reached. Conceptually, our new method replaces each k-ary function by 2k Boolean constants defined by mutual recursion. The introduction of an exponential number of constants is mitigated by the simplicity of their definitions and by the use of a novel variant of ROBDDs to avoid repeated computation. Experiments suggest that this approach is significantly faster than Kleene iteration for examples that require many Kleene iteration steps.
dc.languageEnglish
dc.publisherWORLD SCIENTIFIC PUBL CO PTE LTD
dc.subjectArtificial Intelligence and Image Processing
dc.titleUn-kleene boolean equation solving
dc.typeJournal Article
dc.identifier.doi10.1142/S0129054107004668
melbourne.peerreviewPeer Reviewed
melbourne.affiliationThe University of Melbourne
melbourne.affiliation.departmentComputer Science and Software Engineering
melbourne.source.titleInternational Journal of Foundations of Computer Science
melbourne.source.volume18
melbourne.source.issue2
melbourne.source.pages227-250
dc.description.pagestart227
melbourne.publicationid79199
melbourne.elementsid289566
melbourne.contributor.authorSchachte, Peter
melbourne.contributor.authorSondergaard, Harald
melbourne.contributor.authorHERLIHY, BRIAN TIMOTHY
melbourne.internal.ingestnoteAbstract bulk upload (2017-07-20)
dc.identifier.eissn1793-6373
melbourne.accessrightsThis item is currently not available from this repository


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record