Solving the satisfiability problem through Boolean networks

DOI10.1007/3-540-46238-4_7MaRDI QIDQ2729721zbMATH OpenFDO

Authors Michela Milano, Andrea Roli

Publication date 23 October 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46238-4_7

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computing methodologies and applications (68U99) Nonnumerical algorithms (68W05)

Recommendations

• scientific article; zbMATH DE number 69384
• Solving Boolean satisfiability using local search guided by unit clause elimination
• scientific article; zbMATH DE number 956858
• Zeon and idem-Clifford formulations of Boolean satisfiability
• Connectionist networks for constraint satisfaction

Cited in

(14)

• From additive flowers to additive automata networks
• Fixed points and 2-cycles of synchronous dynamic coloring processes on trees
• Timescales of Boolean satisfiability solver using continuous-time dynamical system
• Zeon and idem-Clifford formulations of Boolean satisfiability
• On the computation of fixed points in Boolean networks
• Fixed points in generalized parallel and sequential dynamical systems induced by a minterm or maxterm Boolean functions
• Efficient solution of MAX-SAT and SAT via higher order Boltzmann machines
• SAT-based algorithm for finding cycles in a Boolean network
• SIMPLIFYING BOOLEAN NETWORKS
• An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes
• Major 2 satisfiability logic in discrete Hopfield neural network
• Application of SAT-approach for solving combinatorial problems
• The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies
• Maximum number of fixed points in regulatory Boolean networks

This page was built for publication: Solving the satisfiability problem through Boolean networks

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