Upper and lower bounds for different parameterizations of (n,3)-MAXSAT

DOI10.1007/978-3-030-04651-4_20OpenAlexW2901463378MaRDI QIDQ2327118

Ivan A. Bliznets, Tatiana Belova

Publication date: 11 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-04651-4_20

zbMATH Keywords

maximum satisfiabilityexact algorithmsparameterization above guarantee

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Upper and lower bounds for different parameterizations of (n,3)-MAXSAT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2327118)