Arnaud Gotlieb
6 papers · 2016–2022 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
๐ Cross-Pollinator (15) ๐ Conference Polyglot (2) ๐ Academic Marathon (6) ๐ Renaissance Researcher (6) ๐ Interdisciplinary Bridge
๐บ๏ธ
Taxonomy Completionist
(16)
๐งญ
Keyword Pioneer
๐
Trend Setter
๐
Conference Pioneer
Conferences
AAAI (3)
IJCAI (3)
Top co-authors
Keywords
constraint acquisition
(2)
active learning
(1)
representation learning
(1)
assignment problem
(1)
constraint solving
(1)
self-supervised learning
(1)
program verification
(1)
constraint satisfaction
(1)
spatial context
(1)
program analysis
(1)
knapsack problem
(1)
smt solver
(1)
scheduling problem
(1)
software verification
(1)
temporal context
(1)
precondition inference
(1)
graph neural network
(1)
maritime surveillance
(1)
qualitative constraint
(1)
multi-cycle assignment
(1)
Papers
GEQCA: Generic Qualitative Constraint Acquisition
AAAI 2022
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
IJCAI 2022
Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract)
AAAI 2021
Rotational Diversity in Multi-Cycle Assignment Problems
AAAI 2019
Efficient and Complete FD-solving for extended array constraints
IJCAI 2017
Generating Tests for Robotized Painting Using Constraint Programming
IJCAI 2016