Publication:2829540

zbMath1348.68291MaRDI QIDQ2829540

V. Yu. Popov, Andrey S. Sheka, Maxim Mornev, Anna Gorbenko

Publication date: 8 November 2016

zbMATH Keywords

sensor placement; logical models; MAXSAT

Mathematics Subject Classification ID

68W05: Nonnumerical algorithms

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