EasyChair Smart SlideUser guide
Author: George Katsirelos

This page shows all presentations of this author published in EasyChair Smart Slide.

An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming

An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming

George Katsirelos

Parallel Hybrid Best-First Search

Parallel Hybrid Best-First Search

Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos and Simon de Givry

Relaxation-Aware Heuristics for Exact Optimization in Graphical Models

Relaxation-Aware Heuristics for Exact Optimization in Graphical Models

Fulya Trösser, Simon de Givry and George Katsirelos

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair