Autor der Publikation

Combining Graph Structure Exploitation and Propositional Reasoning for the Maximum Clique Problem.

, und . ICTAI (1), Seite 344-351. IEEE Computer Society, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Experimenting with the Instances of the MaxSAT Evaluation., , , und . CCIA, Volume 232 von Frontiers in Artificial Intelligence and Applications, Seite 31-40. IOS Press, (2011)Combining Graph Structure Exploitation and Propositional Reasoning for the Maximum Clique Problem., und . ICTAI (1), Seite 344-351. IEEE Computer Society, (2010)New heuristics for packing unequal circles into a circular container., , , und . Computers & OR, (2006)Equivalent literal propagation in the DLL procedure.. Discrete Applied Mathematics, 130 (2): 251-276 (2003)Clause Vivification by Unit Propagation in CDCL SAT Solvers., , , , , und . CoRR, (2018)An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs., , , , und . CoRR, (2019)An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem., , und . J. Artif. Intell. Res., (2016)A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem., , , , , und . AAAI, Seite 2262-2271. AAAI Press, (2019)A Hybrid Approach for SAT., , , und . CP, Volume 2470 von Lecture Notes in Computer Science, Seite 172-184. Springer, (2002)Combining Adaptive Noise and Look-Ahead in Local Search for SAT., , und . SAT, Volume 4501 von Lecture Notes in Computer Science, Seite 121-133. Springer, (2007)