scientific article; zbMATH DE number 1114008

zbMath0891.68101MaRDI QIDQ4375776

Lefteris M. Kirousis, Danny Krizanc, Evangelos Kranakis

Publication date: 8 February 1998

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

zbMATH Keywords

occupancy problem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Classical propositional logic (03B05)

Related Items

An improved upper bound on the non-3-colourability threshold, Pairs of SAT-assignments in random Boolean formulæ, A sharp threshold for the phase transition of a restricted satisfiability problem for Horn clauses, Upper bounds on the satisfiability threshold