UN-KLEENE BOOLEAN EQUATION SOLVING

DOI10.1142/S0129054107004668MaRDI QIDQ3434274zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Brian Herlihy, Peter Schachte, Harald Søndergaard

Publication date 25 April 2007

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054107004668

zbMATH Keywords

Boolean functionsdecision diagramsfixed pointsKleene iteration

Mathematics Subject Classification ID

Boolean functions (06E30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Approximation algorithms (68W25)

Recommendations

• Implicit Boolean equations.
• scientific article; zbMATH DE number 1953357
• Structural analysis of Boolean equation systems
• On the solution of some classes of Boolean equations systems of recurrent type
• Formulas of general solutions of Boolean equations

Cites work

• A faster solver for general systems of equations
• A lattice-theoretical fixpoint theorem and its applications
• Depth-First Search and Linear Graph Algorithms
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Two classes of Boolean functions for dependency analysis
• Worst-case groundness analysis using definite Boolean functions
• Worst-case groundness analysis using positive Boolean functions

Cited in

(3)

• Using variable-entered karnaugh maps to solve boolean equations
• scientific article; zbMATH DE number 3957103 (Why is no real title available?)
• scientific article; zbMATH DE number 1775499 (Why is no real title available?)

This page was built for publication: UN-KLEENE BOOLEAN EQUATION SOLVING

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3434274)