Proof complexity investigates the inherent difficulty of demonstrating that a given propositional formula is unsatisfiable. By analysing measures such as proof length, size, width and degree across ...
The use of propositional logic in the analysis of gene expression microarray data enables the interrelations of gene expression variables to be used in answering biological or clinical questions. The ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results