Buscar

Mostrando ítems 1-10 de 538

Automatic triggering of constraint propagation

Monfroy E.; Crawford B.; Soto R. (2013)

Adaptive and multilevel approach for constraint solving

de la Barra C.L.; Crawford B.; Soto R.; Monfroy E. (Springer Verlag, 2013)

Integrating cardinality constraints into constraint logic programming with sets

Cristía, Maximiliano; Rossi, Gianfranco (2022)

A proof theoretic study of soft concurrent constraint programming

Pimentel, Elaine Gouvea; Nigam, Vivek; Vega, Carlos Alberto Olarte (Cambridge University Press, 2014)

A reactive and hybrid constraint solver

Monfroy E.; Castro C.; Crawford B.; Soto R.; Paredes F.; Figueroa C. (2013)

Experiential solving: Towards a unified autonomous search constraint solving approach

Crawford B.; Soto R.; Crawford K.; Johnson F.; de la Barra C.L.; Galdames S. (Springer Verlag, 2015)

Logically constrained optimal power flow: Solver-based mixed-integer nonlinear programming model

Universidade Estadual Paulista (Unesp) (Elsevier B.V., 2018-04-01)

There is increasing evidence of the shortage of solver-based models for solving logically-constrained AC optimal power flow problem (LCOPF). Although in the literature the heuristic-based models have been widely used to ...

CHROME: a model-driven component-based rule engine

Vitorino dos Santos Filho, Jairson (Universidade Federal de Pernambuco, 2014)

Modeling issues and implementation of language for disjunctive programming

Vecchietti, Aldo; Grossmann, Ignacio E. (Pergamon-Elsevier Science Ltd, 2000-10)

This paper describes a number of key modeling issues for the development of tools for solving nonlinear discrete/continuous problems where logic/disjunctive constraints are included in the formulation. A generalized hybrid ...

Dynamic spaces in concurrent constraint programming

Nigam, Vivek; Pimentel, Elaine Gouvea; Vega, Carlos Alberto Olarte (Elsevier, 2014)

1
2
3
4
. . .
54