Arnaud Gotlieb
6 papers · 2016–2022 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (15) 🚀 Conference Pioneer
📈
Trend Setter
Top co-authors
Research topics
Computer Science
(3)
Machine Learning
(3)
Applications
(3)
Learning Types · Machine Learning
(3)
Artificial Intelligence
(2)
Knowledge & Reasoning
(2)
Core AI
(2)
Reasoning
(2)
Deep Learning
(1)
Mathematics & Optimization
(1)
Architectures
(1)
Core Methods
(1)
Foundations
(1)
Learning Types · Deep Learning
(1)
Optimization
(1)
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
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
IJCAI 2022
GEQCA: Generic Qualitative Constraint Acquisition
AAAI 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