Publication:3021904

zbMath1103.68805MaRDI QIDQ3021904

Belaïd Benhamou

Publication date: 21 June 2005

Full work available at URL: https://eudml.org/doc/41035

zbMATH Keywords

CNF logical formula

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)