( en | de | ru )

 

Disambiguierung von "Katsirelos, George"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reasoning about Constraint Models.

, , , , , und . PRICAI, Volume 8862 von Lecture Notes in Computer Science, Seite 795-808. Springer, (2014)

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

Computational protein design as an optimization problem., , , , , , , , , und . Artif. Intell., (2014)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)Guaranteed Diversity & Quality for the Weighted CSP., , , , , und . ICTAI, Seite 18-25. IEEE, (2019)Reasoning about Connectivity Constraints., , , und . IJCAI, Seite 2568-2574. AAAI Press, (2015)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)Constraint and Satisfiability Reasoning for Graph Coloring., und . J. Artif. Intell. Res., (2020)A Hybrid Approach for Exact Coloring of Massive Graphs., und . CPAIOR, Volume 11494 von Lecture Notes in Computer Science, Seite 374-390. Springer, (2019)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)