George Katsirelos

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An analysis of core-guided maximum satisfiability solvers using linear programming	2024-11-26	Paper
Corrigendum to: ``Learning constraints through partial queries Artificial Intelligence	2024-04-30	Paper
Virtual pairwise consistency in cost function networks Integration of Constraint Programming, Artificial Intelligence, and Operations Research	2023-10-04	Paper
Learning constraints through partial queries Artificial Intelligence	2023-06-27	Paper
Relaxation-aware heuristics for exact optimization in graphical models	2022-12-21	Paper
Multiple-choice knapsack constraint in graphical models	2022-08-30	Paper
Constraint and satisfiability reasoning for graph coloring Journal of Artificial Intelligence Research	2020-11-03	Paper
A hybrid approach for exact coloring of massive graphs	2019-10-14	Paper
Multi-language evaluation of exact solvers in graphical model discrete optimization Constraints	2017-08-16	Paper
Finding a collection of MUSes incrementally Integration of AI and OR Techniques in Constraint Programming	2016-06-27	Paper
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules Artificial Intelligence	2014-10-27	Paper
Computational protein design as an optimization problem Artificial Intelligence	2014-06-10	Paper
The weighted grammar constraint Annals of Operations Research	2011-06-22	Paper
Symmetries of symmetry breaking constraints	2011-05-11	Paper
The complexity of integer bound propagation Journal of Artificial Intelligence Research	2011-05-04	Paper
Combining Symmetry Breaking and Global Constraints Lecture Notes in Computer Science	2009-08-06	Paper
Reformulating Global Grammar Constraints Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2009-06-03	Paper
The Weighted Cfg Constraint Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2008-05-27	Paper
scientific article; zbMATH DE number 2084741 (Why is no real title available?)	2004-08-09	Paper

Research outcomes over time

This page was built for person: George Katsirelos