dpcp22 Doctoral Program Papers: Author Index

DPCP22 DOCTORAL PROGRAM PAPERS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D E F G L M N O P Q R S T U V W Y Z

A
Arbelaez, Alejandro	Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains (, talk)
B
Balcan, Maria-Florina	Improved Sample Complexity Bounds for Branch-and-Cut (, talk)
Balogh, Andrea	Symmetry breaking and Knowledge Compilation (, talk)
Beldiceanu, Nicolas	Extended Abstract: Acquiring Maps of Interrelated Conjectures on Sharp Bounds (, talk) A Boolean Formula Seeker in the Context of Acquiring Maps of Interrelated Conjectures on Sharp Bounds (, talk)
Burlats, Auguste	Exploiting Model Entropy to Make Branching Decisions in Constraint Programming (, talk)
C
Cappart, Quentin	Extended Abstract for : Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming (, talk) Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams (, talk)
Castañeda Lozano, Roberto	Optimized Code Generation against Power Side Channels (, talk)
Chandar, Sarath	Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints - Extended Abstract (, talk)
Cheukam Ngouonou, Jovial	Extended Abstract: Acquiring Maps of Interrelated Conjectures on Sharp Bounds (, talk) A Boolean Formula Seeker in the Context of Acquiring Maps of Interrelated Conjectures on Sharp Bounds (, talk)
Climent, Laura	Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains (, talk)
Coppé, Vianney	Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams (Extended Abstract) (, talk)
Coulombe, Christopher	Extended Abstract: Constraint Acquisition Based on Solution Counting (, talk)
Côté, Alain	Extended Abstract for : Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming (, talk)
D
Dalla, Marco	Automated SAT Problem Feature Extraction using 1 Convolutional Autoencoders (, talk)
Delecluse, Augustin	Extended Abstract: Sequence Variables for Routing Problems (, talk)
Dev Gupta, Sharmi	Finding Counterfactual Explanations through Constraint Relaxations (, talk)
Douence, Rémi	Extended Abstract: Acquiring Maps of Interrelated Conjectures on Sharp Bounds (, talk)
E
Ek, Alexander	Explaining Propagation for Gini and Spread with Variable Mean (Extended Abstract) (, talk)
F
Falque, Thibault	Aggressive Bound Descent for Constraint Optimization (, talk) On PB Encodings for Constraint Problems (, talk)
G
Gaha, Mohamed	Extended Abstract for : Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming (, talk)
Genc, Begum	Finding Counterfactual Explanations through Constraint Relaxations (, talk)
Gillard, Xavier	Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams (Extended Abstract) (, talk)
Gindullin, Ramiz	Extended Abstract: Acquiring Maps of Interrelated Conjectures on Sharp Bounds (, talk) A Boolean Formula Seeker in the Context of Acquiring Maps of Interrelated Conjectures on Sharp Bounds (, talk)
Golia, Priyanka	Boolean Functional Synthesis and its Applications (, talk)
L
Lafleur, Daphné	Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints - Extended Abstract (, talk)
Lecoutre, Christophe	Aggressive Bound Descent for Constraint Optimization (, talk)
Lee, Jimmy H. M.	Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization (Extended Abstract) (, talk)
López, Jheisson	Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains (, talk)
M
Mazure, Bertrand	Aggressive Bound Descent for Constraint Optimization (, talk)
Meel, Kuldeep S.	Boolean Functional Synthesis and its Applications (, talk)
N
Nguewouo, Franklin	Extended Abstract for : Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming (, talk)
Nightingale, Peter	Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints (, talk)
O
O'Sullivan, Barry	Symmetry breaking and Knowledge Compilation (, talk) Automated SAT Problem Feature Extraction using 1 Convolutional Autoencoders (, talk) Finding Counterfactual Explanations through Constraint Relaxations (, talk)
P
Papadimitratos, Panagiotis	Optimized Code Generation against Power Side Channels (, talk)
Peng, Xiao	Solving the Non-Crossing MAPF for non point-sized robots (, talk)
Pesant, Gilles	Exploiting Model Entropy to Make Branching Decisions in Constraint Programming (, talk) Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints - Extended Abstract (, talk)
Popovic, Louis	Extended Abstract for : Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming (, talk)
Prasad, Siddharth	Improved Sample Complexity Bounds for Branch-and-Cut (, talk)
Q
Quimper, Claude-Guy	Extended Abstract: Acquiring Maps of Interrelated Conjectures on Sharp Bounds (, talk) Extended Abstract: Constraint Acquisition Based on Solution Counting (, talk)
R
Rousseau, Louis-Martin	Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams (, talk)
Roy, Subhajit	Boolean Functional Synthesis and its Applications (, talk)
Rudich, Isaac	Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams (, talk)
S
Sandholm, Tuomas	Improved Sample Complexity Bounds for Branch-and-Cut (, talk)
Schaus, Pierre	Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams (Extended Abstract) (, talk) Extended Abstract: Sequence Variables for Routing Problems (, talk)
Schutt, Andreas	Explaining Propagation for Gini and Spread with Variable Mean (Extended Abstract) (, talk)
Simonin, Olivier	Solving the Non-Crossing MAPF for non point-sized robots (, talk)
Solnon, Christine	Solving the Non-Crossing MAPF for non point-sized robots (, talk)
Stuckey, Peter J.	Explaining Propagation for Gini and Spread with Variable Mean (Extended Abstract) (, talk)
T
Tack, Guido	Explaining Propagation for Gini and Spread with Variable Mean (Extended Abstract) (, talk)
Troubitsyna, Elena	Optimized Code Generation against Power Side Channels (, talk)
Tsoupidi, Rodothea Myrsini	Optimized Code Generation against Power Side Channels (, talk)
U
Ulrich-Oltean, Felix	Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints (, talk)
V
Van Hentenryck, Pascal	Extended Abstract: Sequence Variables for Routing Problems (, talk)
Visentin, Andrea	Automated SAT Problem Feature Extraction using 1 Convolutional Autoencoders (, talk)
Vitercik, Ellen	Improved Sample Complexity Bounds for Branch-and-Cut (, talk)
W
Walker, James	Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints (, talk)
Wallon, Romain	On PB Encodings for Constraint Problems (, talk)
Wang, Ruiwei	CNF Encodings of Binary Constraint Trees (Extended Abstract) (, talk)
Wattez, Hugues	Aggressive Bound Descent for Constraint Optimization (, talk)
Y
Yap, Roland	CNF Encodings of Binary Constraint Trees (Extended Abstract) (, talk)
Z
Zhong, Allen Z.	Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization (Extended Abstract) (, talk)