Results 21 to 30 of about 50,089 (313)

Exploiting Entropy in Constraint Programming

, 2023
The introduction of Belief Propagation in Constraint Programming through the CP-BP framework makes possible the computation of an estimation of the probability that a given variable-value combination belongs to a solution.
Burlats, Auguste, Pesant, Gilles, 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research   +2 more
core   +1 more source

Counterfactual Explanations via Inverse Constraint Programming [PDF]

, 2021
It is increasingly recognized that automated decision making systems cannot be black boxes: users require insight into the reasons that decisions are made.
Beck, J. Christopher, Korikov, Anton
core   +1 more source

The PPADMM Method for Solving Quadratic Programming Problems

Mathematics, 2021
In this paper, a preconditioned and proximal alternating direction method of multipliers (PPADMM) is established for iteratively solving the equality-constraint quadratic programming problems.
Hai-Long Shen, Xu Tang
doaj   +1 more source

An Auditable Constraint Programming Solver [Elektronisk resurs]

, 2022
We describe the design and implementation of a new constraint programming solver that can produce an auditable record of what problem was solved and how the solution was reached.
Nordström, Jakob,, McCreesh, Ciaran,, Gocht, Stephan,, Lund University.   +3 more
core   +1 more source

Distribution Optimization in Constraint Programming [PDF]

, 2023
Stochastic Constraint Programming introduces stochastic variables following a probability distribution to model uncertainty. In the classical setting, probability distributions are given and constant.
Lallouet, Arnaud, Suijlen, Wijnand, Glorian, Gaël, Perez, Guillaume   +3 more
core   +1 more source

Stochastic Constraint Programming [PDF]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Combinatorial optimisation problems often contain uncertainty that has to be taken into account to pro- duce realistic solutions. One way of describing the uncertainty is using scenarios, where each sce- nario describes different potential sets of problem parameters based on random distributions or his- torical data.
openaire   +1 more source

A constraint programming approach to the stable marriage problem [PDF]

, 2001
The Stable Marriage problem (SM) is an extensively-studied combinatorial problem with many practical applications. In this paper we present two encodings of an instance I of SM as an instance J of a Constraint Satisfaction Problem.
Gent, Ian Philip, David F. Manlove, Smith, B.M., Patrick Prosser, Prosser, P., Robert W. Irving, Manlove, D.F., Barbara M. Smith, Irving, R.W., Ian P. Gent, Manlove, DF, Irving, RW, Walsh, T, Smith, BM, Prosser, P, Gent, I. P.   +15 more
core   +1 more source

Atom mapping with constraint programming

, 2022
S.805-822Chemical reactions consist of a rearrangement of bonds so that each atom in an educt molecule appears again in a specific position of a reaction product.
Ekker, H., Stadler, P.F., Nahar, F., Mann, M., Backofen, R., Flamm, C.   +5 more
core   +1 more source

An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems

International Journal of Interactive Multimedia and Artificial Intelligence, 2016
In the context of Constraint Programming, a portfolio approach exploits the complementary strengths of a portfolio of different constraint solvers. The goal is to predict and run the best solver(s) of the portfolio for solving a new, unseen problem.
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro   +2 more
doaj   +1 more source

Power System Day-Ahead Unit Commitment Based on Chance-Constrained Dependent Chance Goal Programming

Energies, 2018
In the context of large-scale renewable energy integrated into an electrical power system, the effects of power forecast errors on the power balance equation of the power system unit commitment model is considered.
Zhiwei Li, Tianran Jin, Shuqiang Zhao, Jinshan Liu   +3 more
doaj   +1 more source