A
Menu
November 01, 2013 conference-paper

Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem

Proceedings - International Conference on Tools with Artificial Intelligence, TAI

DOI: 10.1109/ictai.2013.143 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 78

1 result

References 0