Publication:2829545

zbMath1348.68292MaRDI QIDQ2829545

Anna Gorbenko, V. Yu. Popov

Publication date: 8 November 2016

zbMATH Keywords

SAT; sensor placement; logical models; 3SAT

Mathematics Subject Classification ID

68W05: Nonnumerical algorithms

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