Autor der Publikation

Edge Matching Puzzles as Hard SAT/CSP Benchmarks.

, , , und . CP, Volume 5202 von Lecture Notes in Computer Science, Seite 560-565. Springer, (2008)

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

On 2SAT-MaxOnes with Unbalanced Polarity: from Easy Problems to Hard MaxClique Problems., , , und . CCIA, Volume 232 von Frontiers in Artificial Intelligence and Applications, Seite 21-30. IOS Press, (2011)Solving Routing and Wavelength Assignment Problem with Conflict-Driven ASP Solvers., , , und . CCIA, Volume 256 von Frontiers in Artificial Intelligence and Applications, Seite 60-63. IOS Press, (2013)Approximate dynamic programming for automated vacuum waste collection systems., , , und . Environ. Model. Softw., (2015)Weighted argumentation for analysis of discussions in Twitter., , , , , und . Int. J. Approx. Reason., (2017)Using convolutional neural networks for classification of malware represented as images., , , und . J. Comput. Virol. Hacking Tech., 15 (1): 15-28 (2019)The Sudoku completion problem with rectangular hole pattern is NP-complete., , , und . Discret. Math., 312 (22): 3306-3315 (2012)Auditing static machine learning anti-Malware tools against metamorphic attacks., , , und . Comput. Secur., (2021)Enhancing the insertion of NOP instructions to obfuscate malware via deep reinforcement learning., , , , und . Comput. Secur., (2022)Generating highly balanced sudoku problems as hard problems., , , , und . J. Heuristics, 17 (5): 589-614 (2011)An End-to-End Deep Learning Architecture for Classification of Malware's Binary Content., , und . ICANN (3), Volume 11141 von Lecture Notes in Computer Science, Seite 383-391. Springer, (2018)