Pages that link to "Item:Q5814795"

The following pages link to The Problem of Simplifying Truth Functions (Q5814795):

Displaying 32 items.

• Logic explained networks (Q2680793) (← links)
• Achieving consistency with cutting planes (Q2687054) (← links)
• Kernelization – Preprocessing with a Guarantee (Q2908537) (← links)
• Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form (Q2938491) (← links)
• McColl and Minimization (Q3019773) (← links)
• Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
• Simplest normal truth functions (Q3226744) (← links)
• On simplifying truth-functional formulas (Q3237136) (← links)
• Algebraic Topological Methods for the Synthesis of Switching Systems. I (Q3255731) (← links)
• SAT-Based Formula Simplification (Q3453233) (← links)
• Quinean Minimization: Some Suggested Modifications (Q3964466) (← links)
• The L‐map method for sequential machine state minimization (Q4269901) (← links)
• An artificial neural network satisfiability tester (Q4329689) (← links)
• Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes (Q4362281) (← links)
• Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices (Q4647557) (← links)
• О сложности совместной реализации в базисе ДНФ регулярных систем булевых функций (Q4959000) (← links)
• Rethinking arithmetic for deep neural networks (Q4993501) (← links)
• Analysis of Complex and Heterogeneous Data Using FCA and Monadic Predicates (Q5054978) (← links)
• Boolean algebra admits no convergent term rewriting system (Q5055766) (← links)
• Enhancing the Minimization of Boolean and Multivalue Output Functions With<i>e</i>QMC (Q5266130) (← links)
• The Decomposition Tree for analyses of Boolean functions (Q5458074) (← links)
• A Method of Two-Level Simplification of Boolean Functions (Q5532548) (← links)
• On finding optimal covers (Q5550149) (← links)
• Coincidence between Boolean products and its application to third-order simplification† (Q5562603) (← links)
• The problem of simplifying logical expressions (Q5599130) (← links)
• The Lattice Theory of Post Algebras (Q5607971) (← links)
• Some Studies on Connected Cover Term Matrices of Switching Functions† (Q5608041) (← links)
• On a Method of Determination of one of the Minimal Solutions of Switching Functions by utilizing their Connected Cover Term Matrices† (Q5641080) (← links)
• Hardness of approximate two-level logic minimization and PAC learning with membership queries (Q5920702) (← links)
• Sequential model-based diagnosis by systematic search (Q6080651) (← links)
• Partially unate Boolean functions: properties of their sum-of-products representations (Q6110617) (← links)
• On the (complete) reasons behind decisions (Q6117140) (← links)