scientific article

zbMath1192.68951MaRDI QIDQ3576757

Hervé Daudé, Nadia Creignou, Olivier Dubois

Publication date: 2 August 2010

Full work available at URL: https://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAH0108/0.html

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

zbMATH Keywords

sensitivityphase transitionBoolean functionssatisfiabilitythresholdconstraint satisfaction problemsrandom structures

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computer aspects of numerical algorithms (65Y99)

Related Items (1)

New Results on the Phase Transition for Random Quantified Boolean Formulas

This page was built for publication: