Exponential Average Time for the Pure Literal Rule
From MaRDI portal
Publication:3832061
DOI10.1137/0218028zbMath0676.68031OpenAlexW2021126666MaRDI QIDQ3832061
Youfang Pan, Khaled M. Bugrara, Paul Walton jun. Purdom
Publication date: 1989
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/0218028
NP-completesatisfiabilitysearchingbacktrackingcombinatorial searchpure literal ruleaverage timeDavis-Putnam
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
An average case analysis of a resolution principle algorithm in mechanical theorem proving. ⋮ Solving the satisfiability problem by using randomized approach ⋮ On the occurence of null clauses in random instances of Satisfiability
This page was built for publication: Exponential Average Time for the Pure Literal Rule