Open AccessA Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem
Author(s) -
Hua Jiang,
Chu Min Li,
Yanli Li,
Felip Manyà
Publication year - 2018
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v32i1.11527
Subject(s) - maximum satisfiability problem , clique , heuristic , computer science , set (abstract data type) , mathematical optimization , algorithm , artificial intelligence , mathematics , combinatorics , boolean function , programming language