Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs : Artificial intelligence (European conference)
In: Frontiers in artificial intelligence and applications 285(2):939-947; Jg. 285 (2016) 2, S. 939-947
Konferenz
Zugriff:
Titel: |
Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs : Artificial intelligence (European conference)
|
---|---|
Autor/in / Beteiligte Person: | Jiang, Hua ; Li, Chu-Min ; Manyà, Felip |
Link: | |
Quelle: | Frontiers in artificial intelligence and applications 285(2):939-947; Jg. 285 (2016) 2, S. 939-947 |
Veröffentlichung: | 2016 |
Medientyp: | Konferenz |
ISSN: | 0922-6389 (print) |
Sonstiges: |
|