conftrace_

graph colouring

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

maximum weighted clique (1) np-complete problem (1) conflict-driven clause learning (1) branch and bound (1)

Papers

Conflict Directed Clause Learning for Maximum Weighted Clique Problem IJCAI 2018