psanse / CliSATLinks

An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnitude
14Updated 2 months ago

Alternatives and similar repositories for CliSAT

Users that are interested in CliSAT are comparing it to the libraries listed below

Sorting: