Work

RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains

Year: 2026

Type: article

Abstract: Chenouard et al., (2026). RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains. Journal of Open Source Software, 11(118), 9331, https://doi.org/10.21105/joss.09331

Source: The Journal of Open Source Software

DOI: 10.21105/joss.09331

Authors: Raphaël Chenouard, Laurent Granvilliers

Institutions: École Centrale de Nantes, Centre National de la Recherche Scientifique, Laboratoire des Sciences du Numérique de Nantes, Nantes Université

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W7129075093

FWCI: 4.123

Cites: 13

Cited by: 1

Related to: