Arnaud Gotlieb

Available identifiers

zbMath Open gotlieb.arnaudMaRDI QIDQ2767074

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3388708	2021-05-06	Paper
Exploiting binary floating-point representations for constraint propagation	2016-05-19	Paper
A Certified Constraint Solver over Finite Domains	2012-11-08	Paper
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest	2012-07-20	Paper
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming	2008-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q2767075	2002-01-28	Paper
Dynamic optimization of interval narrowing algorithms	1999-05-31	Paper

Research outcomes over time

This page was built for person: Arnaud Gotlieb