Arnaud Gotlieb

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
A query-based constraint acquisition approach for enhanced precision in program precondition inference The Journal of Artificial Intelligence Research (JAIR)	2025-03-11	Paper
Constraint-based reachability	2021-05-06	Paper
Constraint-based reachability (available as arXiv preprint)	2021-05-06	Paper
Exploiting binary floating-point representations for constraint propagation INFORMS Journal on Computing	2016-05-19	Paper
A certified constraint solver over finite domains FM 2012: Formal Methods	2012-11-08	Paper
A first step in the design of a formally verified constraint-based testing tool: FocalTest Tests and Proofs	2012-07-20	Paper
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming Principles and Practice of Constraint Programming – CP 2007	2008-09-02	Paper
scientific article; zbMATH DE number 1696810 (Why is no real title available?)	2002-01-28	Paper
Dynamic optimization of interval narrowing algorithms The Journal of Logic Programming	1999-05-31	Paper

Research outcomes over time

This page was built for person: Arnaud Gotlieb