( en | de | ru )

 

Disambiguierung von "Katsirelos, George"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Detecting and Exploiting Subproblem Tractability.

, , , , und . IJCAI, Seite 468-474. IJCAI/AAAI, (2013)

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.

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)

George Glowik

Witold George

Hans George

George Leon

 

Weitere Publikationen von Autoren mit dem selben Namen

Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation)., und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 496-497. Springer, (2012)Computational protein design as an optimization problem., , , , , , , , , und . Artif. Intell., (2014)Guaranteed Diversity & Quality for the Weighted CSP., , , , , und . ICTAI, Seite 18-25. IEEE, (2019)Symmetries of Symmetry Breaking Constraints., und . ECAI, Volume 215 von Frontiers in Artificial Intelligence and Applications, Seite 861-866. IOS Press, (2010)Finding a Collection of MUSes Incrementally., und . CPAIOR, Volume 9676 von Lecture Notes in Computer Science, Seite 35-44. Springer, (2016)Reasoning about Connectivity Constraints., , , und . IJCAI, Seite 2568-2574. AAAI Press, (2015)Constraint and Satisfiability Reasoning for Graph Coloring., und . J. Artif. Intell. Res., (2020)Virtual Pairwise Consistency in Cost Function Networks., , , , und . CPAIOR, Volume 13884 von Lecture Notes in Computer Science, Seite 417-426. Springer, (2023)Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers., , , und . AAAI, Seite 481-488. AAAI Press, (2013)A Hybrid Approach for Exact Coloring of Massive Graphs., und . CPAIOR, Volume 11494 von Lecture Notes in Computer Science, Seite 374-390. Springer, (2019)