Maximum clique via \textsc{MaxSat} and back again

DOI10.21711/231766362015/RMC4418MaRDI QIDQ6489458FDOQ6489458

Authors: Alexandre Prusch Züge, Renato Carmo 

Publication date: 22 April 2024

Published in: Matemática Contemporânea (Search for Journal in Brave)

zbMATH Keywords

maximum cliquebranch and boundexact solution

Mathematics Subject Classification ID

Vertex subsets with special properties (dominating sets, independent sets, cliques, etc.) (05C69)

This page was built for publication: Maximum clique via \textsc{MaxSat} and back again

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