Dualization of Boolean functions using ternary decision diagrams

DOI10.1007/S10472-016-9520-ZMaRDI QIDQ513353zbMATH OpenOpenAlexFDO

Authors Takahisa Toda

Publication date 6 March 2017

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-016-9520-z

zbMATH Keywords

compressionall-solutions solverdualizationternary decision diagram

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Boolean functions (06E30)

Recommendations

• Computational aspects of monotone dualization: a brief survey
• scientific article; zbMATH DE number 7286679
• Dual subimplicants of positive Boolean functions
• Complexity of identification and dualization of positive Boolean functions
• A study on monotone self-dual Boolean functions

Cites work

• scientific article; zbMATH DE number 5852793 (Why is no real title available?)
• scientific article; zbMATH DE number 2044509 (Why is no real title available?)
• scientific article; zbMATH DE number 846270 (Why is no real title available?)
• A characterization of signed hypergraphs and its applications to VLSI via minimization and logic synthesis
• Branching Programs and Binary Decision Diagrams
• Computational aspects of monotone dualization: a brief survey
• Conflict-Driven Answer Set Enumeration
• Directed hypergraphs and applications
• Efficient algorithms for dualizing large-scale hypergraphs
• Graph-Based Algorithms for Boolean Function Manipulation
• TG-Pro: A SAT-based ATPG system
• The art of computer programming. Volume 4A. Combinatorial algorithms. Part 1.
• Zero-suppressed BDDs and their applications

Cited in

(3)

• Implementing efficient All solutions SAT solvers
• Regular Ternary Logic Functions—Ternary Logic Functions Suitable for Treating Ambiguity
• Dualization of regular Boolean functions

Describes a project that uses

Uses Software

• sharpSAT
• clasp
• JBool

This page was built for publication: Dualization of Boolean functions using ternary decision diagrams

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