Alvaro Velasquez

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The hexatope and octatope abstract domains for neural network verification Formal Methods in System Design	2025-01-13	Paper
Differentiable discrete optimization using dataless neural networks	2024-09-16	Paper
Arc-dependent networks: theoretical insights and a computational study Annals of Operations Research	2024-08-15	Paper
Farkas Bounds on Horn Constraint Systems Theory of Computing Systems	2024-04-21	Paper
Priority-based bin packing with subset constraints Discrete Applied Mathematics	2024-01-24	Paper
A differentiable approach to the maximum independent set problem using dataless neural networks Neural Networks	2023-10-18	Paper
The octatope abstract domain for verification of neural networks Formal Methods	2023-08-17	Paper
Reachability problems in interval-constrained and cardinality-constrained graphs Discrete Mathematics, Algorithms and Applications	2023-07-15	Paper
Reachability in choice networks Discrete Optimization	2023-06-30	Paper
Optimal deterministic controller synthesis from steady-state distributions Journal of Automated Reasoning	2023-06-14	Paper
On the approximability of path and cycle problems in arc-dependent networks Algorithms and Discrete Applied Mathematics	2023-05-08	Paper
Analyzing the reachability problem in choice networks	2022-08-30	Paper
On the complexity of and solutions to the minimum stopping and trapping set problems Theoretical Computer Science	2022-05-31	Paper
Algorithmic analysis of priority-based bin packing	2022-03-24	Paper
On the copy complexity of width 3 Horn constraint systems	2022-03-24	Paper
Steady-state planning in expected reward multichain MDPs Journal of Artificial Intelligence Research	2022-02-07	Paper
Finding minimum stopping and trapping sets: an integer linear programming approach	2018-08-17	Paper

Research outcomes over time

This page was built for person: Alvaro Velasquez