scientific article; zbMATH DE number 1543307

MaRDI QIDQ4520773zbMATH OpenFDO

Authors Paul H. Leng, Paul E. Dunne

Publication date 27 February 2001

Full work available at URL http://www.jucs.org/jucs_5_5/the_average_case_performance

zbMATH Keywords

demand-driven simulation

Mathematics Subject Classification ID

Recommendations

• An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
• An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
• Performance analysis of a greedy algorithm for inferring Boolean functions
• Average case complexity for finite Boolean functions
• Stochastic Algorithms: Foundations and Applications
• Average Performance of Heuristics for Satisfiability
• Publication:4828947
• Average-case complexity of elementary Boolean functions
• A satisfiability algorithm and average-case hardness for formulas over the full binary basis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4520773)