A Reactive and Hybrid Constraint Solver

International audience

Data and Resources

Additional Info

Field Value
Source ISSN: 0952-813X
Author Monfroy, Eric, Castro, Carlos, Crawford, Broderick, Soto, Ricardo, Paredes, Fernando, Figueroa, Cristian
Maintainer CCSD
Last Updated May 9, 2026, 09:16 (UTC)
Created May 9, 2026, 09:16 (UTC)
Identifier hal-00872971
Language en
contributor Theory, Algorithms and Systems for Constraints (TASC) ; Laboratoire d'Informatique de Nantes Atlantique (LINA) ; Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) ; Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) ; Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN ; Mines Nantes (Mines Nantes)-Centre Inria de l'Université de Rennes ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
creator Monfroy, Eric
date 2013-05-09T00:00:00
harvest_object_id 3ce0735e-d9e5-490a-aba4-a506bc2c0113
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-04-04T00:00:00
set_spec type:ART