Reduction algorithms for solving large systems of logical equations
From MaRDI portal
Recommendations
- An algorithm for the solution of systems of logical equations
- scientific article; zbMATH DE number 2073626
- An algorithm for the solution of a system of logical equations
- Decomposition methods for finding the shortest solution of a system of linear logical equations
- Solving large combinatorial problems in logic programming
- scientific article; zbMATH DE number 2080337
- Algorithms and reductions for rewriting problems
- NP-logic systems and model-equivalence reductions
- Solution and applications of simultaneous equations in a multi-valued logic algebra system
- Many concepts and two logics of algorithmic reduction
Cited in
(7)- Decomposition methods for finding the shortest solution of a system of linear logical equations
- An explosion effect in local reduction of the systems of logical equations
- Minimization of a search tree used in solving a system of logical equations
- scientific article; zbMATH DE number 4025334 (Why is no real title available?)
- scientific article; zbMATH DE number 2073626 (Why is no real title available?)
- An algorithm for the solution of a system of logical equations
- A fast algorithm for generating reduced ground rewriting systems from a set of ground equations
This page was built for publication: Reduction algorithms for solving large systems of logical equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1594832)
