scientific article; zbMATH DE number 2083805
From MaRDI portal
Publication:4739606
zbMath1054.68141MaRDI QIDQ4739606
Publication date: 6 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2264/22640117.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
complexityphase transitionsatisfiabilityaverage-case analysisdifferential equation method3-SAT2-SATrandomized analysis of algorithms
Analysis of algorithms (68W40) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Randomized algorithms (68W20)
This page was built for publication: