EasyChair Smart SlideDocs/Log in
Conference: dpcp22 (Doctoral Program of CP2022)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Optimized Code Generation Against Power Side Channels

Optimized Code Generation Against Power Side Channels

Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna and Panagiotis Papadimitratos

Symmetry Breaking and Knowledge Compilation

Symmetry Breaking and Knowledge Compilation

Andrea Balogh and Barry O'Sullivan

Aggressive Bound Descent for Constraint Optimization

Aggressive Bound Descent for Constraint Optimization

Thibault Falque, Christophe Lecoutre, Bertrand Mazure and Hugues Wattez

On PB Encodings for Constraint Problems

On PB Encodings for Constraint Problems

Thibault Falque and Romain Wallon

Finding Counterfactual Explanations Through Constraint Relaxations

Finding Counterfactual Explanations Through Constraint Relaxations

Sharmi Dev Gupta, Begum Genc and Barry O'Sullivan

Presentations in this collection: 5
Copyright © 2002 – 2024 EasyChair