scientific article; zbMATH DE number 953683
From MaRDI portal
Publication:4718423
zbMath1016.94046MaRDI QIDQ4718423
Peter Clote, Evangelos Kranakis
Publication date: 3 December 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (17)
On finding short resolution refutations and small unsatisfiable subsets ⋮ A Subatomic Proof System for Decision Trees ⋮ Characterization of zigzag De Morgan functions ⋮ Unnamed Item ⋮ Squeezing Feasibility ⋮ Symmetry groups of Boolean functions. ⋮ A characterization of functions over the integers computable in polynomial time using discrete ordinary differential equations ⋮ Lifting lower bounds for tree-like proofs ⋮ On the Proof Complexity of Cut-Free Bounded Deep Inference ⋮ Space Hardness of Solving Structured Linear Systems. ⋮ Finding a vector orthogonal to roughly half a collection of vectors ⋮ Phase transitions for Gödel incompleteness ⋮ A recursion-theoretic characterisation of the positive polynomial-time functions ⋮ On Negations in Boolean Networks ⋮ Polynomial time relatively computable triangular arrays for almost sure convergence ⋮ Rethinking arithmetic for deep neural networks ⋮ A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations
This page was built for publication:
