The following pages link to George Katsirelos (Q464613):
Displayed 17 items.
- Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules (Q464615) (← links)
- The weighted grammar constraint (Q545550) (← links)
- Relaxation-aware heuristics for exact optimization in graphical models (Q2110439) (← links)
- Multiple-choice knapsack constraint in graphical models (Q2170205) (← links)
- A hybrid approach for exact coloring of massive graphs (Q2327268) (← links)
- Multi-language evaluation of exact solvers in graphical model discrete optimization (Q2398440) (← links)
- Computational protein design as an optimization problem (Q2453727) (← links)
- Finding a Collection of MUSes Incrementally (Q2815093) (← links)
- The Complexity of Integer Bound Propagation (Q2996913) (← links)
- (Q2999220) (← links)
- Reformulating Global Grammar Constraints (Q3630157) (← links)
- (Q4475672) (← links)
- Constraint and Satisfiability Reasoning for Graph Coloring (Q5129999) (← links)
- Combining Symmetry Breaking and Global Constraints (Q5191408) (← links)
- The Weighted Cfg Constraint (Q5387640) (← links)
- Virtual pairwise consistency in cost function networks (Q6080987) (← links)
- Learning constraints through partial queries (Q6161490) (← links)