Open AccessA Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem
Author(s) -
Hua Jiang,
Chu-Min Li,
Yanli Liu,
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom