Ruiz, Nelson Higuera

2 publications

NeurIPS 2025 T-Norm Selection for Object Detection in Autonomous Driving with Logical Constraints Thomas Eiter, Katsumi Inoue, Nelson Higuera Ruiz, Sota Moriyama
AAAI 2022 Large-Neighbourhood Search for Optimisation in Answer-Set Solving Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova