FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Akgün, Özgür	Understanding how people approach constraint modelling and solving A framework for generating informative benchmark instances
Allouche, David	Parallel Hybrid Best-First Search
Arbelaez, Alejandro	Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains
Asimi, Kristina	Fixed-Template Promise Model Checking Problems
B
Balcan, Maria-Florina	Improved Sample Complexity Bounds for Branch-and-Cut
Barto, Libor	Fixed-Template Promise Model Checking Problems Weisfeiler-Leman Invariant Promise Valued CSPs
Basrur, Chaithanya	Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data
Beldiceanu, Nicolas	Acquiring Maps of Interrelated Conjectures on Sharp Bounds
Beldjilali, Abdelkader	Parallel Hybrid Best-First Search
Berden, Senne	Learning MAX-SAT Models from Examples using Genetic Algorithms and Knowledge Compilation
Bessiere, Christian	Complexity of Minimum-Size Arc-Inconsistency Explanations
Bogaerts, Bart	Solving with Provably Correct Results: Beyond Satisfiability, and Towards Constraint Programming
Boudreault, Raphaël	A Constraint Programming Approach to Ship Refit Project Scheduling
Butti, Silvia	Fixed-Template Promise Model Checking Problems Weisfeiler-Leman Invariant Promise Valued CSPs
C
Cappart, Quentin	Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams
Cappart, Quentin	Building a Constraint Programming Solver Guided by Machine Learning: Opportunities and Challenges
Carbonnel, Clément	On Redundancy in Constraint Satisfaction Problems Complexity of Minimum-Size Arc-Inconsistency Explanations
Chakraborty, Sourav	On Quantitative Testing of Samplers
Chandar, Sarath	Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints
Chen, Dingding	Completeness Matters: Towards Efficient Caching in Tree-based Synchronous Backtracking Search for DCOPs
Chen, Ziyu	Completeness Matters: Towards Efficient Caching in Tree-based Synchronous Backtracking Search for DCOPs
Cherif, Mohamed Sami	From Crossing-Free Resolution to Max-SAT Resolution
Cheukam-Ngouonou, Jovial	Acquiring Maps of Interrelated Conjectures on Sharp Bounds
Climent, Laura	Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains
Cooper, Martin	Complexity of Minimum-Size Arc-Inconsistency Explanations Isomorphisms between STRIPS problems and sub-problems
Coppé, Vianney	Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams
Coulombe, Christopher	Constraint Acquisition Based on Solution Counting
Cseh, Ágnes	Computing relaxations for the three-dimensional stable matching problem with cyclic preferences
Curry, Timothy	DUELMIPs: Jointly Optimizing Software Defined Network Functionality and Security
Côté, Alain	Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming
D
Dang, Nguyen	A framework for generating informative benchmark instances
de Givry, Simon	Structured Set Variable Domains in Bayesian Network Structure Learning Parallel Hybrid Best-First Search
Delecluse, Augustin	Sequence Variables for Routing Problems
DePace, Gabe	DUELMIPs: Jointly Optimizing Software Defined Network Functionality and Security
Douence, Rémi	Acquiring Maps of Interrelated Conjectures on Sharp Bounds
Dreier, Jan	CSP Beyond Tractable Constraint Languages
E
Ek, Alexander	Explaining Propagation for Gini and Spread with Variable Mean
Escamocher, Guillaume	Computing relaxations for the three-dimensional stable matching problem with cyclic preferences
Espasa Arxer, Joan	Plotting: A Planning Problem With Complex Transitions A framework for generating informative benchmark instances
F
Fargier, Helene	Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms
Fuller, Benjamin	DUELMIPs: Jointly Optimizing Software Defined Network Functionality and Security
G
Gaha, Mohamed	Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming
Gao, Junsong	Completeness Matters: Towards Efficient Caching in Tree-based Synchronous Backtracking Search for DCOPs
Gentzel, Rebecca	Heuristics for MDD Propagation in Haddock
Gillard, Xavier	Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams
Gindullin, Ramiz	Acquiring Maps of Interrelated Conjectures on Sharp Bounds
Gocht, Stephan	An Auditable Constraint Programming Solver
Golia, Priyanka	On Quantitative Testing of Samplers
Guns, Tias	Learning MAX-SAT Models from Examples using Genetic Algorithms and Knowledge Compilation Learning Constraint Programming Models from Data using Generate-and-Aggregate
H
Habet, Djamal	From Crossing-Free Resolution to Max-SAT Resolution
Hebrard, Emmanuel	Complexity of Minimum-Size Arc-Inconsistency Explanations
Heule, Marijn	From Cliques to Colorings and Back Again
Hidouri, Amel	On the Enumeration of Frequent High Utility Itemsets: A symbolic AI Approach
Hoffmann, Ruth	Understanding how people approach constraint modelling and solving
I
Ignatiev, Alexey	Formal Explainable AI
J
Jabbour, Said	On the Enumeration of Frequent High Utility Itemsets: A symbolic AI Approach
K
Karahalios, Anthony	From Cliques to Colorings and Back Again
Katsirelos, George	Structured Set Variable Domains in Bayesian Network Structure Learning Parallel Hybrid Best-First Search
Knuth, Donald	All Questions Answered
Kolb, Samuel	Learning MAX-SAT Models from Examples using Genetic Algorithms and Knowledge Compilation Learning Constraint Programming Models from Data using Generate-and-Aggregate
Kumar, Akshat	Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data
Kumar, Mohit	Learning Constraint Programming Models from Data using Generate-and-Aggregate
Kumar, Mohit	Learning MAX-SAT Models from Examples using Genetic Algorithms and Knowledge Compilation
Kumar, T. K. Satish	Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data
L
Lafleur, Daphné	Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints
Lafond, Daniel	A Constraint Programming Approach to Ship Refit Project Scheduling
Lee, Jimmy H. M.	Exploiting Functional Constraints in Generating Dominance Breaking Nogoods for Constraint Optimization
Lequen, Arnaud	Isomorphisms between STRIPS problems and sub-problems
Li, Hongbo	A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems
Li, Zhanshan	A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems
Liu, Xiangshuang	Completeness Matters: Towards Efficient Caching in Tree-based Synchronous Backtracking Search for DCOPs
Lopez, Jheisson	Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains
M
Maris, Frédéric	Isomorphisms between STRIPS problems and sub-problems
McCreesh, Ciaran	An Auditable Constraint Programming Solver Solving with Provably Correct Results: Beyond Satisfiability, and Towards Constraint Programming
Meel, Kuldeep S.	On Quantitative Testing of Samplers Early Career Award
Meiswinkel, Sebastian	Modeling and Solving Parallel Machine Scheduling with Contamination Constraints in the Agricultural Industry
Mengin, Jérôme	Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms
Michel, Laurent	MDD-Based Constraint Programming in Haddock Heuristics for MDD Propagation in Haddock DUELMIPs: Jointly Optimizing Software Defined Network Functionality and Security
Miguel, Ian	Plotting: A Planning Problem With Complex Transitions A framework for generating informative benchmark instances
Montalbano, Pierre	Parallel Hybrid Best-First Search
Musliu, Nysret	Modeling and Solving Parallel Machine Scheduling with Contamination Constraints in the Agricultural Industry
N
Nacenta, Miguel	Understanding how people approach constraint modelling and solving
Nguewouo, Franklin	Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming
Nightingale, Peter	Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints A framework for generating informative benchmark instances
Nordström, Jakob	An Auditable Constraint Programming Solver
Nordström, Jakob	Solving with Provably Correct Results: Beyond Satisfiability, and Towards Constraint Programming
O
Ordyniak, Sebastian	CSP Beyond Tractable Constraint Languages
P
Pesant, Gilles	Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints
Popovic, Louis	Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming
Prasad, Siddharth	Improved Sample Complexity Bounds for Branch-and-Cut
Py, Matthieu	From Crossing-Free Resolution to Max-SAT Resolution
Q
Quesada, Luis	Computing relaxations for the three-dimensional stable matching problem with cyclic preferences
Quimper, Claude-Guy	Constraint Acquisition Based on Solution Counting Acquiring Maps of Interrelated Conjectures on Sharp Bounds A Constraint Programming Approach to Ship Refit Project Scheduling
R
Raddaoui, Badran	On the Enumeration of Frequent High Utility Itemsets: A symbolic AI Approach
Rousseau, Louis-Martin	Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams Building a Constraint Programming Solver Guided by Machine Learning: Opportunities and Challenges
Rudich, Isaac	Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams
S
Sandholm, Tuomas	Improved Sample Complexity Bounds for Branch-and-Cut
Schaus, Pierre	Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams Sequence Variables for Routing Problems
Schmidt, Nicolas	Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms
Schutt, Andreas	Explaining Propagation for Gini and Spread with Variable Mean
Simard, Vanessa	A Constraint Programming Approach to Ship Refit Project Scheduling
Singh, Arambam James	Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data
Sinha, Arunesh	Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data
Soos, Mate	On Quantitative Testing of Samplers
Stuckey, Peter J.	Explaining Propagation for Gini and Spread with Variable Mean
Sun, Yan	DUELMIPs: Jointly Optimizing Software Defined Network Functionality and Security
Szeider, Stefan	CSP Beyond Tractable Constraint Languages
T
Tack, Guido	Explaining Propagation for Gini and Spread with Variable Mean
Trösser, Fulya	Structured Set Variable Domains in Bayesian Network Structure Learning
U
Ulrich-Oltean, Felix	Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
V
Van Hentenryck, Pascal	Sequence Variables for Routing Problems
Van Hoeve, Willem-Jan	Heuristics for MDD Propagation in Haddock From Cliques to Colorings and Back Again
Van Hoeve, Willem-Jan	MDD-Based Constraint Programming in Haddock
Verhaeghe, Hélène	Doctoral Research Award
Villaret, Mateu	Plotting: A Planning Problem With Complex Transitions
Vitercik, Ellen	Improved Sample Complexity Bounds for Branch-and-Cut
W
Walker, James Alfred	Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
Walkiewicz, Daniel	Modeling and Solving Parallel Machine Scheduling with Contamination Constraints in the Agricultural Industry
Wang, Jie	Completeness Matters: Towards Efficient Caching in Tree-based Synchronous Backtracking Search for DCOPs
Wang, Ruiwei	CNF Encodings of Binary Constraint Trees
Winter, Felix	Modeling and Solving Parallel Machine Scheduling with Contamination Constraints in the Agricultural Industry
Wu, Yaling	A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems
Y
Yap, Roland	CNF Encodings of Binary Constraint Trees
Yin, Minghao	A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems
Z
Zhong, Allen Z.	Exploiting Functional Constraints in Generating Dominance Breaking Nogoods for Constraint Optimization
Zhu, Xu	Understanding how people approach constraint modelling and solving

Disclaimer | Powered by EasyChair Smart Program