Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 1304340 - MaRDI portal

scientific article; zbMATH DE number 1304340

From MaRDI portal

Publication:4251071

Jump to:navigation, search

zbMath0924.03020MaRDI QIDQ4251071

Juan Luis Esteban, Jacobo Toran

Publication date: 17 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

propositional logic resolution complexity measures pebble game CNF formula space bounds unsatisfiable formula

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15) Classical propositional logic (03B05)

Related Items (4)

An Introduction to Lower Bounds on Resolution Proof Systems ⋮ An Upper Bound on the Space Complexity of Random Formulae in Resolution ⋮ Verifying time, memory and communication bounds in systems of reasoning agents ⋮ Space bounds for resolution

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4251071&oldid=18142594"