FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

B
Bogaerts, Bart	Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended abstract)
D
Dang, Nguyen	A portfolio-based analysis method for competition results A Constraint-Based Tool for Generating Benchmark Instances
G
Gamba, Emilio	Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended abstract)
Guns, Tias	Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended abstract)
H
Hoffmann, Ruth	Constraint modelling and solving: Learning from observing people
L
Lee, Jimmy H. M.	Automatic Generation of Dominance Breaking Nogoods for Constraint Optimization
Lester, Martin Mariusz	Solving XCSP3 constraint problems using tools from software verification
Z
Zhong, Allen Z.	Automatic Generation of Dominance Breaking Nogoods for Constraint Optimization
Zhou, Neng-Fa	Constraint-based Part-of-Speech Tagging

Disclaimer | Powered by EasyChair Smart Program