English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/155822
Share/Impact:
Statistics
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE
Exportar a otros formatos:

Title

Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs

AuthorsJiang, Hua; Li, Chu Min; Manyà, Felip
KeywordsReasoning
MaxSAT
LMC
Large MaxClique
Issue Date29-Aug-2016
PublisherIOS Press
Citation22nd European Conference on Artificial Intelligence, ECAI 2016; FAIA Vol. 285 (2016): 939-947
AbstractWe describe a new exact algorithm for MaxClique, called LMC (short for Large MaxClique), that is especially suited for large sparse graphs. LMC is competitive because it combines an efficient preprocessing procedure and incremental MaxSAT reasoning in a branch-and-bound scheme. The empirical results show that LMC outperforms existing exact MaxClique algorithms on large sparse graphs from real-world applications. © 2016 The Authors and IOS Press.This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commercial License 4.0 (CC BY-NC 4.0).
URIhttp://hdl.handle.net/10261/155822
DOIhttp://dx.doi.org/10.3233/978-1-61499-672-9-939
Identifiersdoi: 10.3233/978-1-61499-672-9-939
isbn: 978-1-61499-672-9
Appears in Collections:(IIIA) Comunicaciones congresos
Files in This Item:
File Description SizeFormat 
FAIA285_939-47.null301,54 kBUnknownView/Open
Show full item record
Review this work
 


WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.