dc.contributor.author Herlihy, B dc.contributor.author Schachte, P dc.contributor.author Sondergaard, H dc.date.available 2014-05-21T22:50:58Z dc.date.issued 2007-04-01 dc.identifier http://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.citation Herlihy, 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.issn 0129-0541 dc.identifier.uri http://hdl.handle.net/11343/29293 dc.description.abstract We 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.language English dc.publisher WORLD SCIENTIFIC PUBL CO PTE LTD dc.subject Artificial Intelligence and Image Processing dc.title Un-kleene boolean equation solving dc.type Journal Article dc.identifier.doi 10.1142/S0129054107004668 melbourne.peerreview Peer Reviewed melbourne.affiliation The University of Melbourne melbourne.affiliation.department Computer Science and Software Engineering melbourne.source.title International Journal of Foundations of Computer Science melbourne.source.volume 18 melbourne.source.issue 2 melbourne.source.pages 227-250 dc.description.pagestart 227 melbourne.publicationid 79199 melbourne.elementsid 289566 melbourne.contributor.author Schachte, Peter melbourne.contributor.author Sondergaard, Harald melbourne.contributor.author HERLIHY, BRIAN TIMOTHY melbourne.internal.ingestnote Abstract bulk upload (2017-07-20) dc.identifier.eissn 1793-6373 melbourne.accessrights This item is currently not available from this repository
﻿

## Files in this item

FilesSizeFormatView

There are no files associated with this item.