George Katsirelos

Available identifiers

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	2024-04-30	Paper
Virtual pairwise consistency in cost function networks	2023-10-04	Paper
Learning constraints through partial queries	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	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	2017-08-16	Paper
Finding a Collection of MUSes Incrementally	2016-06-27	Paper
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules	2014-10-27	Paper
Computational protein design as an optimization problem	2014-06-10	Paper
The weighted grammar constraint	2011-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q2999220	2011-05-11	Paper
The Complexity of Integer Bound Propagation	2011-05-04	Paper
Combining Symmetry Breaking and Global Constraints	2009-08-06	Paper
Reformulating Global Grammar Constraints	2009-06-03	Paper
The Weighted Cfg Constraint	2008-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4475672	2004-08-09	Paper

This page was built for person: George Katsirelos