A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Uncertainty and Change
[chapter]
2006
Foundations of Artificial Intelligence
Preserved Fulltext
Constraint Programming (CP) has proven to be a very successful technique for reasoning about assignment problems, as evidenced by the many applications described elsewhere in this book. ...
Thus, CP makes two assumptions about the problems it tackles: 1. The complete set of variables is not known; ...
Acknowledgments We thank the anonymous referee for useful comments on a draft of this chapter. ...
doi:10.1016/s1574-6526(06)80025-8
fatcat:bod6ylc4hbe5njdhktxxwdv3my
Logic-Based Solution Methods for Optimal Control of Hybrid Systems
2006
IEEE Transactions on Automatic Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we attempt to overcome such a difficulty by combining numerical techniques for solving convex programming problems with symbolic techniques for solving constraint satisfaction problems ( ...
The resulting "hybrid" solver proposed here takes advantage of CSP solvers for dealing with satisfiability of logic constraints very efficiently. ...
CSP relies on logic-based methods such as domain reduction and (Boolean) constraint propagation to accelerate the search for the feasible solution. ...
doi:10.1109/tac.2006.876949
fatcat:5s63fkonfncizlvmylystmrx5e
Solving Intensional Weighted CSPs by Incremental Optimization with BDDs
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present a method for solving weighted Constraint Satisfaction Problems, based on translation into a Constraint Optimization Problem and iterative calls to an SMT solver, with successively tighter bounds ...
This offers two benefits: first, BDDs built for previous bounds can be used to build the BDDs for new (tighter) bounds, considerably reducing the BDD construction time; second, as a by-product, many clauses ...
for the experiments. ...
doi:10.1007/978-3-319-10428-7_17
fatcat:tmjwrahztzbcdau7u3j6gqsgbu
Robustness and Stability in Constraint Programming under Dynamism and Uncertainty
2014
The Journal of Artificial Intelligence Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We present a search algorithm that searches for both robust and stable solutions for CSPs of this nature. ...
In this paper, we extend the concept of robustness and stability for Constraint Satisfaction Problems (CSPs) with ordered domains, where only limited assumptions need to be made as to possible changes. ...
Diarmuid Grimes for their assistance. ...
doi:10.1613/jair.4126
fatcat:u3x6l4ezsvhvfi73gt32o2elpi
Robustness and Stability in Constraint Programming under Dynamism and Uncertainty
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We present a search algorithm that searches for both robust and stable solutions for CSPs of this nature. ...
In this paper, we extend the concept of robustness and stability for Constraint Satisfaction Problems (CSPs) with ordered domains, where only limited assumptions need to be made as to possible changes. ...
Diarmuid Grimes for their assistance. ...
doi:10.1007/978-3-319-10428-7_68
fatcat:fx7y6ahbfnhtdnswjgqjwfwe7u
Large-scale classroom scheduling
1996
IIE Transactions
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Requirements for CHRONOS derive from the course scheduling process at Purdue and are speci¯ed in a mathematical model of the classroom scheduling problem. ...
An approach for solving classroom scheduling problems of practical size has been developed and implemented in CHRONOS, a scheduling support system developed at Purdue and described in this paper. ...
Model CSP can be reformulated as a multiple choice quadratic vertex packing (MCQVP) problem. ...
doi:10.1080/07408179608966284
fatcat:vm4cgh3shrhtjccplsnd6wdkbq
A global optimization approach to H ∞ synthesis with parametric uncertainties applied to AUV control
2017
IFAC-PapersOnLine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Hence, to find a solution of Problem (2), we limit the search for all the controller K(k) (2) can be reformulated as a structured H ∞ synthesis problem: with k ∈ K ⊂ R n k . ...
The H ∞ synthesis problem is formulated as a Constraint Satisfaction Problem (CSP): find K such that T w→zi ∞ ≤ 1, ∀i ∈ {1, . . . , q}. (1) We recall that the H ∞ norm . ∞ is defined by: T w→zi ∞ = sup ...
doi:10.1016/j.ifacol.2017.08.297
fatcat:4y7t7pam3fcrde3u7ftony4yzq
Activity-Based Search for Black-Box Contraint-Programming Solvers
[article]
2011
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Robust search procedures are a central component in the design of black-box constraint-programming solvers. ...
Experimental results on a variety of benchmarks show that activity-based search is more robust than other heuristics and may produce significant improvements in performance. ...
All the weights are initialized to 1 and, when a constraint fails, its weight is incremented. The space overhead of wdeg is Θ(|C|) for a CSP X, D, C . ...
arXiv:1105.6314v1
fatcat:a6lfzskgpfcahhsy7cykhekpsm
New trends in constraint satisfaction, planning, and scheduling: a survey
2010
Knowledge engineering review (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Formulations of a CSP Solving a constraint satisfaction problem (CSP) must be carried out in two different phases: • Modeling the problem as a constraint satisfaction problem. ...
For such problems, techniques such as branch and bound are usually used to find an optimal solution. ...
The typical representatives of KE for planning are the tools for problem modeling, such as the GIPO system (McCluskey et al., 2003) , methods of problem reformulation, such as the methods used in Fast ...
doi:10.1017/s0269888910000202
fatcat:4n7bn7rnyjbifi3nkignhwe5uy
Robust solutions for combinatorial auctions
2005
Proceedings of the 6th ACM conference on Electronic commerce - EC '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Firstly, we use the Weighted Super Solutions framework [13] , from the field of constraint programming, to solve the problem of finding a robust solution. ...
We then examine the trade-off between robustness and revenue in different economically motivated auction scenarios for different constraints on the revenue of repair solutions. ...
FINDING ROBUST SOLUTIONS In constraint programming [4] (CP), a constraint satisfaction problem (CSP) is modeled as a set of n variables X = {x 1 , . . . , x n }, a set of domains D = {D(x 1 ), . . . ...
doi:10.1145/1064009.1064029
dblp:conf/sigecom/HollandO05
fatcat:i4gjjei7efbgpe27duf4frwnte
Revisiting dynamic constraint satisfaction for model-based planning
2016
Knowledge engineering review (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
This criteria can be used to evaluate elementary transformations of a constraint satisfaction problem as well as sequences of transformations. ...
We propose a new classification of dynamic constraint satisfaction transformations based on a formal criteria, namely the change in the fraction of solutions. ...
Dynamic Constraint Satisfaction Problems: A New Formalism Definition 4 A transformation τ is a function that maps a CSP P i to a CSP P j denoted P i τ − → P j . ...
doi:10.1017/s0269888916000242
fatcat:nt6cscltjbbpndpji2hs7vdsvy
AND/OR Branch-and-Bound search for combinatorial optimization in graphical models
2009
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We focus on two most common optimization problems in graphical models: finding the Most Probable Explanation in Bayesian networks and solving Weighted CSPs. ...
The focus of this paper is on linear space search which explores the AND/OR search tree. In the second paper we explore memory intensive AND/OR search algorithms. ...
Results for empirical evaluation of Weighted CSPs In this section we focus on Weighted CSP problems. ...
doi:10.1016/j.artint.2009.07.003
fatcat:ygqm7xz4kjavpoquq4ja4mzyeq
Proceedings of the 2018 XCSP3 Competition
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The results of this competition of constraint solvers were presented at CP'18, the 24th International Conference on Principles and Practice of Constraint Programming, held in Lille, France from 27th August ...
More recently, some clause learning methods were implemented in Mistral, still improving the results on disjunctive scheduling [1] and car-sequencing problems [11]. ...
This solver is produced for my PhD thesis work on data structures designed for clause-based nogood recording. A big thank-you to Gilles Audemard, for his support and help. Acknowledgements. ...
arXiv:1901.01830v1
fatcat:vjxlgadkpjbvtpftha4jrn2xji
A view of local search in constraint programming
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Can reinforcement learning applied to complete search lead to superior search performance? (a) What is a good reward function for CSP/COP? (b) Branching dependent on expected satisfiability? ...
We believe that a more principled and autonomous approach for search efficiency has to be started in Constraint Programming. ...
The weight function W G for such a factor graph thus equals one if and only if a configuration meets all of the constraints, indicating the satisfaction of the problem as a whole. ...
doi:10.1007/3-540-61551-2_86
fatcat:dv47xzm7n5dgtg6yyst3vfrxf4
Robust planning with incomplete domain models
2017
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Current work in planning assumes that user preferences and/or domain dynamics are completely specified in advance, and aims to search for a single solution plan to satisfy these. ...
A method of assessing plan robustness based on the weighted model counting approach is proposed. Two approaches for synthesizing robust plans are introduced. ...
I deeply thank him for ...
doi:10.1016/j.artint.2016.12.003
fatcat:ifmazgyvl5gg3ojrotwid6kkoe
« Previous
Showing results 1 — 15 out of 170 results