Robinson, E. I.; Marzat, J.; Raïssi, T. Prognosis of uncertain linear time-invariant discrete systems using unknown input interval observer. (English) Zbl 1454.93085 Int. J. Control 93, No. 11, 2690-2706 (2020). MSC: 93B53 93C41 93C55 PDF BibTeX XML Cite \textit{E. I. Robinson} et al., Int. J. Control 93, No. 11, 2690--2706 (2020; Zbl 1454.93085) Full Text: DOI
Kenmogne, Ide-Flore; Drevelle, Vincent; Marchand, Eric Cooperative localization of drones by using interval methods. (English) Zbl 07254876 Acta Cybern. 24, No. 3, 557-572 (2020). MSC: 93C85 PDF BibTeX XML Cite \textit{I.-F. Kenmogne} et al., Acta Cybern. 24, No. 3, 557--572 (2020; Zbl 07254876) Full Text: DOI
Chung, Eric; Pun, Sai-Mang Computational multiscale methods for first-order wave equation using mixed CEM-GMsFEM. (English) Zbl 1435.76036 J. Comput. Phys. 409, Article ID 109359, 13 p. (2020). MSC: 76M10 65M60 65M12 65M55 PDF BibTeX XML Cite \textit{E. Chung} and \textit{S.-M. Pun}, J. Comput. Phys. 409, Article ID 109359, 13 p. (2020; Zbl 1435.76036) Full Text: DOI
Paulson, Joel A.; Mesbah, Ali An efficient method for stochastic optimal control with joint chance constraints for nonlinear systems. (English) Zbl 1426.93370 Int. J. Robust Nonlinear Control 29, No. 15, 5017-5037 (2019). MSC: 93E20 93C10 93B45 PDF BibTeX XML Cite \textit{J. A. Paulson} and \textit{A. Mesbah}, Int. J. Robust Nonlinear Control 29, No. 15, 5017--5037 (2019; Zbl 1426.93370) Full Text: DOI
Stergiou, Kostas Neighborhood singleton consistencies. (English) Zbl 07122019 Constraints 24, No. 1, 94-131 (2019). MSC: 68T PDF BibTeX XML Cite \textit{K. Stergiou}, Constraints 24, No. 1, 94--131 (2019; Zbl 07122019) Full Text: DOI
Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J. Wombit: a portfolio bit-vector solver using word-level propagation. (English) Zbl 07100461 J. Autom. Reasoning 63, No. 3, 723-762 (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{W. Wang} et al., J. Autom. Reasoning 63, No. 3, 723--762 (2019; Zbl 07100461) Full Text: DOI
Araya, Ignacio; Reyes, Victor Enhancing interval constraint propagation by identifying and filtering \(n\)-ary subsystems. (English) Zbl 1432.90141 J. Glob. Optim. 74, No. 1, 1-20 (2019). MSC: 90C30 PDF BibTeX XML Cite \textit{I. Araya} and \textit{V. Reyes}, J. Glob. Optim. 74, No. 1, 1--20 (2019; Zbl 1432.90141) Full Text: DOI
Kučera, Petr; Savický, Petr; Vorel, Vojtěch A lower bound on CNF encodings of the at-most-one constraint. (English) Zbl 1417.68199 Theor. Comput. Sci. 762, 51-73 (2019). MSC: 68T20 68Q17 PDF BibTeX XML Cite \textit{P. Kučera} et al., Theor. Comput. Sci. 762, 51--73 (2019; Zbl 1417.68199) Full Text: DOI
Li, Yaoyi; Lu, Hongtao On multi-modal fusion learning in constraint propagation. (English) Zbl 1440.68227 Inf. Sci. 462, 204-217 (2018). MSC: 68T05 62H30 90C26 PDF BibTeX XML Cite \textit{Y. Li} and \textit{H. Lu}, Inf. Sci. 462, 204--217 (2018; Zbl 1440.68227) Full Text: DOI
Joudrier, Hugo; Thiard, Florence A greedy approach for a rolling stock management problem using multi-interval constraint propagation. A greedy approach for a rolling stock management problem using multi-interval constraint propagation, ROADEF/EURO challenge 2014. (English) Zbl 1434.90062 Ann. Oper. Res. 271, No. 2, 1165-1183 (2018). MSC: 90B35 PDF BibTeX XML Cite \textit{H. Joudrier} and \textit{F. Thiard}, Ann. Oper. Res. 271, No. 2, 1165--1183 (2018; Zbl 1434.90062) Full Text: DOI
da Costa Vieira Rezende, Josiane; Souza, Marcone Jamilson Freitas; Coelho, Vitor Nazário; Martins, Alexandre Xavier HMS: a hybrid multi-start algorithm for solving binary linear programs. (English) Zbl 1408.90335 Coelho, Vitor Nazário (ed.) et al., Selected short papers of the 5th international conference on variable neighborhood search (ICVNS’17), Ouro Preto, Brazil, 2–4, 2017. Amsterdam: Elsevier. Electron. Notes Discrete Math. 66, 7-14 (2018). MSC: 90C59 90C09 PDF BibTeX XML Cite \textit{J. da Costa Vieira Rezende} et al., Electron. Notes Discrete Math. 66, 7--14 (2018; Zbl 1408.90335) Full Text: DOI
Zghidi, Imen; Hnich, Brahim; Rebai, Abdelwaheb Introducing statistical consistency for infinite chance constraints. (English) Zbl 1395.62064 Ann. Math. Artif. Intell. 83, No. 2, 165-181 (2018). MSC: 62F25 68T20 90C15 PDF BibTeX XML Cite \textit{I. Zghidi} et al., Ann. Math. Artif. Intell. 83, No. 2, 165--181 (2018; Zbl 1395.62064) Full Text: DOI
Bergner, Lilli; Kirches, Christian The polynomial chaos approach for reachable set propagation with application to chance-constrained nonlinear optimal control under parametric uncertainties. (English) Zbl 1393.93020 Optim. Control Appl. Methods 39, No. 2, 471-488 (2018). MSC: 93B03 93E20 93C10 93C41 PDF BibTeX XML Cite \textit{L. Bergner} and \textit{C. Kirches}, Optim. Control Appl. Methods 39, No. 2, 471--488 (2018; Zbl 1393.93020) Full Text: DOI
Hintz, Peter; Vasy, András The global non-linear stability of the Kerr-de Sitter family of black holes. (English) Zbl 1391.83061 Acta Math. 220, No. 1, 1-206 (2018). MSC: 83C57 35B40 58J47 83C05 83C35 PDF BibTeX XML Cite \textit{P. Hintz} and \textit{A. Vasy}, Acta Math. 220, No. 1, 1--206 (2018; Zbl 1391.83061) Full Text: DOI
Berkholz, Christoph; Verbitsky, Oleg On the speed of constraint propagation and the time complexity of arc consistency testing. (English) Zbl 1378.68059 J. Comput. Syst. Sci. 91, 104-114 (2018). MSC: 68Q25 68R10 68T20 PDF BibTeX XML Cite \textit{C. Berkholz} and \textit{O. Verbitsky}, J. Comput. Syst. Sci. 91, 104--114 (2018; Zbl 1378.68059) Full Text: DOI
Raut, Sumit; Ganesan, Viswanath Kumar; Jha, J. K. A novel constraint propagation approach for airline schedule design problem. (English) Zbl 1452.90170 Int. J. Math. Oper. Res. 10, No. 4, 485-501 (2017). MSC: 90B35 PDF BibTeX XML Cite \textit{S. Raut} et al., Int. J. Math. Oper. Res. 10, No. 4, 485--501 (2017; Zbl 1452.90170) Full Text: DOI
Martin, Benjamin; Goldsztejn, Alexandre; Granvilliers, Laurent; Jermann, Christophe Constraint propagation using dominance in interval branch & bound for nonlinear biobjective optimization. (English) Zbl 1403.90612 Eur. J. Oper. Res. 260, No. 3, 934-948 (2017). MSC: 90C29 90C30 90C57 65K05 PDF BibTeX XML Cite \textit{B. Martin} et al., Eur. J. Oper. Res. 260, No. 3, 934--948 (2017; Zbl 1403.90612) Full Text: DOI
Polash, Md Masbaul Alam; Newton, M. A. Hakim; Sattar, Abdul Constraint-directed search for all-interval series. (English) Zbl 1387.90225 Constraints 22, No. 3, 403-431 (2017). MSC: 90C27 PDF BibTeX XML Cite \textit{M. M. A. Polash} et al., Constraints 22, No. 3, 403--431 (2017; Zbl 1387.90225) Full Text: DOI
Stergiou, Kostas Revisiting restricted path consistency. (English) Zbl 1387.90126 Constraints 22, No. 3, 377-402 (2017). MSC: 90C09 PDF BibTeX XML Cite \textit{K. Stergiou}, Constraints 22, No. 3, 377--402 (2017; Zbl 1387.90126) Full Text: DOI
Puranik, Yash; Sahinidis, Nikolaos V. Domain reduction techniques for global NLP and MINLP optimization. (English) Zbl 1387.90164 Constraints 22, No. 3, 338-376 (2017). MSC: 90C11 90C26 PDF BibTeX XML Cite \textit{Y. Puranik} and \textit{N. V. Sahinidis}, Constraints 22, No. 3, 338--376 (2017; Zbl 1387.90164) Full Text: DOI
Tung, Vu Xuan; Khanh, To Van; Ogawa, Mizuhito raSAT: an SMT solver for polynomial constraints. (English) Zbl 1377.68140 Form. Methods Syst. Des. 51, No. 3, 462-499 (2017). MSC: 68Q60 68T15 PDF BibTeX XML Cite \textit{V. X. Tung} et al., Form. Methods Syst. Des. 51, No. 3, 462--499 (2017; Zbl 1377.68140) Full Text: DOI
Ferrero, Daniela; Hogben, Leslie; Kenter, Franklin H. J.; Young, Michael Note on power propagation time and lower bounds for the power domination number. (English) Zbl 1376.05110 J. Comb. Optim. 34, No. 3, 736-741 (2017). MSC: 05C69 05C12 05C15 05C57 94C15 PDF BibTeX XML Cite \textit{D. Ferrero} et al., J. Comb. Optim. 34, No. 3, 736--741 (2017; Zbl 1376.05110) Full Text: DOI
Kučera, Petr; Savický, Petr; Vorel, Vojtěch A lower bound on CNF encodings of the at-most-one constraint. (English) Zbl 1417.68198 Gaspers, Serge (ed.) et al., Theory and applications of satisfiability testing – SAT 2017. 20th international conference, Melbourne, VIC, Australia, August 28 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10491, 412-428 (2017). MSC: 68T20 68Q17 PDF BibTeX XML Cite \textit{P. Kučera} et al., Lect. Notes Comput. Sci. 10491, 412--428 (2017; Zbl 1417.68198) Full Text: DOI
Ji, Jianmin; Liu, Fangfang; You, Jia-Huai Well-founded operators for normal hybrid MKNF knowledge bases. (English) Zbl 1422.68220 Theory Pract. Log. Program. 17, No. 5-6, 889-905 (2017). MSC: 68T30 68T27 68T35 PDF BibTeX XML Cite \textit{J. Ji} et al., Theory Pract. Log. Program. 17, No. 5--6, 889--905 (2017; Zbl 1422.68220) Full Text: DOI
Ibrahim, Mohamed-Hamza; Pal, Christopher; Pesant, Gilles Improving probabilistic inference in graphical models with determinism and cycles. (English) Zbl 1412.68184 Mach. Learn. 106, No. 1, 1-54 (2017). MSC: 68T05 68T20 68T27 PDF BibTeX XML Cite \textit{M.-H. Ibrahim} et al., Mach. Learn. 106, No. 1, 1--54 (2017; Zbl 1412.68184) Full Text: DOI
Narodytska, Nina; Petit, Thierry; Siala, Mohamed; Walsh, Toby Three generalizations of the FOCUS constraint. (English) Zbl 1368.90110 Constraints 21, No. 4, 495-532 (2016). MSC: 90C10 PDF BibTeX XML Cite \textit{N. Narodytska} et al., Constraints 21, No. 4, 495--532 (2016; Zbl 1368.90110) Full Text: DOI
Wang, Xiaofeng; Xu, Daoyun Convergence of the belief propagation algorithm for RB model instances. (Chinese. English summary) Zbl 1374.68524 J. Softw. 27, No. 11, 2712-2724 (2016). MSC: 68T20 PDF BibTeX XML Cite \textit{X. Wang} and \textit{D. Xu}, J. Softw. 27, No. 11, 2712--2724 (2016; Zbl 1374.68524) Full Text: DOI
Araya, Ignacio; Reyes, Victor Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects. (English) Zbl 1353.90113 J. Glob. Optim. 65, No. 4, 837-866 (2016). MSC: 90C26 90C57 PDF BibTeX XML Cite \textit{I. Araya} and \textit{V. Reyes}, J. Glob. Optim. 65, No. 4, 837--866 (2016; Zbl 1353.90113) Full Text: DOI
Mézard, Marc Cavity method: message-passing from a physics perspective. (English) Zbl 1401.82048 Krzakala, Florent (ed.) et al., Statistical physics, optimization, inference and message-passing algorithms. Lecture notes of the Les Houches School of Physics (École de Physique des Houches): special issue, Les Houches, France, September 30 – October 11, 2013. Oxford: Oxford University Press (ISBN 978-0-19-874373-6/hbk). 95-125 (2016). MSC: 82D30 05C90 60K35 62H99 PDF BibTeX XML Cite \textit{M. Mézard}, in: Statistical physics, optimization, inference and message-passing algorithms. Lecture notes of the Les Houches School of Physics (École de Physique des Houches): special issue, Les Houches, France, September 30 -- October 11, 2013. Oxford: Oxford University Press. 95--125 (2016; Zbl 1401.82048) Full Text: DOI
Fu, Zhenyong Pairwise constraint propagation via low-rank matrix recovery. (English) Zbl 1428.68237 Comput. Vis. Media 1, No. 3, 211-220 (2015). MSC: 68T05 68U10 PDF BibTeX XML Cite \textit{Z. Fu}, Comput. Vis. Media 1, No. 3, 211--220 (2015; Zbl 1428.68237) Full Text: DOI
Zaki, Amira; Abdennadher, Slim; Frühwirth, Thom Combining forward and backward propagation. (English) Zbl 06688822 Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24245-3/pbk; 978-3-319-24246-0/ebook). Lecture Notes in Computer Science 9322. Lecture Notes in Artificial Intelligence, 307-322 (2015). MSC: 68T PDF BibTeX XML Cite \textit{A. Zaki} et al., Lect. Notes Comput. Sci. 9322, 307--322 (2015; Zbl 06688822) Full Text: DOI
Moukrim, Aziz; Quilliot, Alain; Toussaint, Hélène An effective branch-and-price algorithm for the preemptive resource constrained project scheduling problem based on minimal interval order enumeration. (English) Zbl 1346.90375 Eur. J. Oper. Res. 244, No. 2, 360-368 (2015). MSC: 90B35 90C57 PDF BibTeX XML Cite \textit{A. Moukrim} et al., Eur. J. Oper. Res. 244, No. 2, 360--368 (2015; Zbl 1346.90375) Full Text: DOI
Ravanbakhsh, Siamak; Greiner, Russell Perturbed message passing for constraint satisfaction problems. (English) Zbl 1351.68257 J. Mach. Learn. Res. 16, 1249-1274 (2015). MSC: 68T20 PDF BibTeX XML Cite \textit{S. Ravanbakhsh} and \textit{R. Greiner}, J. Mach. Learn. Res. 16, 1249--1274 (2015; Zbl 1351.68257) Full Text: Link
Bergman, David; Cire, Andre A.; Van Hoeve, Willem-Jan Lagrangian bounds from decision diagrams. (English) Zbl 1327.90116 Constraints 20, No. 3, 346-361 (2015). MSC: 90C10 PDF BibTeX XML Cite \textit{D. Bergman} et al., Constraints 20, No. 3, 346--361 (2015; Zbl 1327.90116) Full Text: DOI
Ibrahimi, Morteza; Kanoria, Yash; Kraning, Matt; Montanari, Andrea The set of solutions of random XORSAT formulae. (English) Zbl 1341.68061 Ann. Appl. Probab. 25, No. 5, 2743-2808 (2015). MSC: 68Q25 68Q87 68T20 PDF BibTeX XML Cite \textit{M. Ibrahimi} et al., Ann. Appl. Probab. 25, No. 5, 2743--2808 (2015; Zbl 1341.68061) Full Text: DOI Euclid arXiv
Wechsung, Achim; Scott, Joseph K.; Watson, Harry A. J.; Barton, Paul I. Reverse propagation of McCormick relaxations. (English) Zbl 1322.49048 J. Glob. Optim. 63, No. 1, 1-36 (2015). MSC: 49M20 49M37 90C26 65K05 PDF BibTeX XML Cite \textit{A. Wechsung} et al., J. Glob. Optim. 63, No. 1, 1--36 (2015; Zbl 1322.49048) Full Text: DOI
Ding, Jian; Sly, Allan; Sun, Nike Proof of the satisfiability conjecture for large \(k\). (English) Zbl 1321.68304 Proceedings of the 47th annual ACM symposium on theory of computing, STOC ’15, Portland, OR, USA, June 14–17, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3536-2). 59-68 (2015). MSC: 68Q25 PDF BibTeX XML Cite \textit{J. Ding} et al., in: Proceedings of the 47th annual ACM symposium on theory of computing, STOC '15, Portland, OR, USA, June 14--17, 2015. New York, NY: Association for Computing Machinery (ACM). 59--68 (2015; Zbl 1321.68304) Full Text: DOI arXiv
Nossack, Jenny; Pesch, Erwin A branch-and-bound algorithm for the acyclic partitioning problem. (English) Zbl 1348.90551 Comput. Oper. Res. 41, 174-184 (2014). MSC: 90C27 05C70 90C35 90C57 PDF BibTeX XML Cite \textit{J. Nossack} and \textit{E. Pesch}, Comput. Oper. Res. 41, 174--184 (2014; Zbl 1348.90551) Full Text: DOI
Krzakala, Florent; Mézard, Marc; Zdeborová, Lenka Reweighted belief propagation and quiet planting for random \(K\)-SAT. (English) Zbl 1322.68182 J. Satisf. Boolean Model. Comput. 8(2012-2014), No. 3-4, 149-171 (2014). MSC: 68T20 68Q17 PDF BibTeX XML Cite \textit{F. Krzakala} et al., J. Satisf. Boolean Model. Comput. 8, No. 3--4, 149--171 (2014; Zbl 1322.68182)
Ding, Jian; Sly, Allan; Sun, Nike Satisfiability threshold for random regular NAE-SAT. (English) Zbl 1315.68148 Proceedings of the 46th annual ACM symposium on theory of computing, STOC ’14, New York, NY, USA, May 31 – June 3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2710-7). 814-822 (2014). MSC: 68Q25 68Q17 68Q87 PDF BibTeX XML Cite \textit{J. Ding} et al., in: Proceedings of the 46th annual ACM symposium on theory of computing, STOC '14, New York, NY, USA, May 31 -- June 3, 2014. New York, NY: Association for Computing Machinery (ACM). 814--822 (2014; Zbl 1315.68148) Full Text: DOI arXiv
Prud’homme, Charles; Lorca, Xavier; Douence, Rémi; Jussien, Narendra Propagation engine prototyping with a domain specific language. (English) Zbl 1316.90041 Constraints 19, No. 1, 57-76 (2014). MSC: 90C27 PDF BibTeX XML Cite \textit{C. Prud'homme} et al., Constraints 19, No. 1, 57--76 (2014; Zbl 1316.90041) Full Text: DOI
Francis, Kathryn Glenn; Stuckey, Peter J. Explaining circuit propagation. (English) Zbl 1310.05144 Constraints 19, No. 1, 1-29 (2014). MSC: 05C62 05C82 05C38 PDF BibTeX XML Cite \textit{K. G. Francis} and \textit{P. J. Stuckey}, Constraints 19, No. 1, 1--29 (2014; Zbl 1310.05144) Full Text: DOI
Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter Generating custom propagators for arbitrary constraints. (English) Zbl 1405.68326 Artif. Intell. 211, 1-33 (2014). MSC: 68T20 PDF BibTeX XML Cite \textit{I. P. Gent} et al., Artif. Intell. 211, 1--33 (2014; Zbl 1405.68326) Full Text: DOI
Wittocx, Johan; Denecker, Marc; Bruynooghe, Maurice Constraint propagation for first-order logic and inductive definitions. (English) Zbl 1353.68260 ACM Trans. Comput. Log. 14, No. 3, Article No. 17, 45 p. (2013). MSC: 68T20 03B10 68P15 68T27 PDF BibTeX XML Cite \textit{J. Wittocx} et al., ACM Trans. Comput. Log. 14, No. 3, Article No. 17, 45 p. (2013; Zbl 1353.68260) Full Text: DOI
Correia, Marco; Barahona, Pedro View-based propagation of decomposable constraints. (English) Zbl 1317.90202 Constraints 18, No. 4, 579-608 (2013). MSC: 90C10 PDF BibTeX XML Cite \textit{M. Correia} and \textit{P. Barahona}, Constraints 18, No. 4, 579--608 (2013; Zbl 1317.90202) Full Text: DOI
Schulte, Christian; Tack, Guido View-based propagator derivation. (English) Zbl 1328.68202 Constraints 18, No. 1, 75-107 (2013). MSC: 68T20 PDF BibTeX XML Cite \textit{C. Schulte} and \textit{G. Tack}, Constraints 18, No. 1, 75--107 (2013; Zbl 1328.68202) Full Text: DOI
Jaehn, Florian; Pesch, Erwin New bounds and constraint propagation techniques for the clique partitioning problem. (English) Zbl 1287.68155 Discrete Appl. Math. 161, No. 13-14, 2025-2037 (2013). MSC: 68T20 05C69 05C70 90C59 PDF BibTeX XML Cite \textit{F. Jaehn} and \textit{E. Pesch}, Discrete Appl. Math. 161, No. 13--14, 2025--2037 (2013; Zbl 1287.68155) Full Text: DOI
Zeng, Ying; Zhou, Hai-Jun Solution space coupling in the random \(K\)-satisfiability problem. (English) Zbl 1284.68532 Commun. Theor. Phys. 60, No. 3, 363-374 (2013). MSC: 68T20 05C80 82D30 PDF BibTeX XML Cite \textit{Y. Zeng} and \textit{H.-J. Zhou}, Commun. Theor. Phys. 60, No. 3, 363--374 (2013; Zbl 1284.68532) Full Text: DOI
Berkholz, Christoph Lower bounds for existential pebble games and \(k\)-consistency tests. (English) Zbl 1297.68088 Log. Methods Comput. Sci. 9, No. 4, Paper No. 2, 23 p. (2013). MSC: 68Q25 03B20 03C13 68Q17 68T20 PDF BibTeX XML Cite \textit{C. Berkholz}, Log. Methods Comput. Sci. 9, No. 4, Paper No. 2, 23 p. (2013; Zbl 1297.68088) Full Text: DOI
Mencía, Carlos; Sierra, María R.; Varela, Ramiro Depth-first heuristic search for the job shop scheduling problem. (English) Zbl 1271.90035 Ann. Oper. Res. 206, 265-296 (2013). MSC: 90B35 90C59 PDF BibTeX XML Cite \textit{C. Mencía} et al., Ann. Oper. Res. 206, 265--296 (2013; Zbl 1271.90035) Full Text: DOI
Lu, Zhiwu; Peng, Yuxin Exhaustive and efficient constraint propagation: a graph-based learning approach and its applications. (English) Zbl 1270.68351 Int. J. Comput. Vis. 103, No. 3, 306-325 (2013). MSC: 68T45 68T05 68R10 PDF BibTeX XML Cite \textit{Z. Lu} and \textit{Y. Peng}, Int. J. Comput. Vis. 103, No. 3, 306--325 (2013; Zbl 1270.68351) Full Text: DOI
Schichl, Hermann; Neumaier, Arnold; Markót, Mihály Csaba; Domes, Ferenc On solving mixed-integer constraint satisfaction problems with unbounded variables. (English) Zbl 1382.90067 Gomes, Carla (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 10th international conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18–22, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38170-6/pbk). Lecture Notes in Computer Science 7874, 216-233 (2013). MSC: 90C11 68T20 90C27 PDF BibTeX XML Cite \textit{H. Schichl} et al., Lect. Notes Comput. Sci. 7874, 216--233 (2013; Zbl 1382.90067) Full Text: DOI
Pralet, Cédric; Verfaillie, Gérard Time-dependent simple temporal networks: properties and algorithms. (English) Zbl 1267.68218 RAIRO, Oper. Res. 47, No. 2, 173-198 (2013). MSC: 68T20 68T05 PDF BibTeX XML Cite \textit{C. Pralet} and \textit{G. Verfaillie}, RAIRO, Oper. Res. 47, No. 2, 173--198 (2013; Zbl 1267.68218) Full Text: DOI
Fontaine, Mathieu; Loudni, Samir; Boizumault, Patrice Exploiting tree decomposition for guiding neighborhoods exploration for VNS. (English) Zbl 1267.68211 RAIRO, Oper. Res. 47, No. 2, 91-123 (2013). MSC: 68T20 PDF BibTeX XML Cite \textit{M. Fontaine} et al., RAIRO, Oper. Res. 47, No. 2, 91--123 (2013; Zbl 1267.68211) Full Text: DOI
Hamed Hassani, S.; Macris, Nicolas; Urbanke, Ruediger Threshold saturation in spatially coupled constraint satisfaction problems. (English) Zbl 1266.82067 J. Stat. Phys. 150, No. 5, 807-850 (2013). MSC: 82D30 82B26 PDF BibTeX XML Cite \textit{S. Hamed Hassani} et al., J. Stat. Phys. 150, No. 5, 807--850 (2013; Zbl 1266.82067) Full Text: DOI arXiv
Zhang, Hantao; Zhang, Jian MACE4 and SEM: a comparison of finite model generators. (English) Zbl 1383.68083 Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 101-130 (2013). MSC: 68T15 03B35 PDF BibTeX XML Cite \textit{H. Zhang} and \textit{J. Zhang}, Lect. Notes Comput. Sci. 7788, 101--130 (2013; Zbl 1383.68083) Full Text: DOI
Nightingale, Peter; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian Short and long supports for constraint propagation. (English) Zbl 1261.68110 J. Artif. Intell. Res. (JAIR) 46, 1-45 (2013). MSC: 68T20 68W40 PDF BibTeX XML Cite \textit{P. Nightingale} et al., J. Artif. Intell. Res. (JAIR) 46, 1--45 (2013; Zbl 1261.68110) Full Text: DOI
Benchimol, Pascal; van Hoeve, Willem-Jan; Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel Improved filtering for weighted circuit constraints. (English) Zbl 1309.90115 Constraints 17, No. 3, 205-233 (2012). MSC: 90C35 90B06 90C27 PDF BibTeX XML Cite \textit{P. Benchimol} et al., Constraints 17, No. 3, 205--233 (2012; Zbl 1309.90115) Full Text: DOI
Drescher, Christian; Walsh, Toby Answer set solving with lazy nogood generation. (English) Zbl 1281.68178 Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 188-200, electronic only (2012). MSC: 68T05 68T15 68T27 68N17 PDF BibTeX XML Cite \textit{C. Drescher} and \textit{T. Walsh}, LIPIcs -- Leibniz Int. Proc. Inform. 17, 188--200 (2012; Zbl 1281.68178) Full Text: DOI
Jaulin, Luc Combining interval analysis with flatness theory for state estimation of sailboat robots. (English) Zbl 1339.93042 Math. Comput. Sci. 6, No. 4, 347-359 (2012). MSC: 93B30 65G40 70E60 93C41 PDF BibTeX XML Cite \textit{L. Jaulin}, Math. Comput. Sci. 6, No. 4, 347--359 (2012; Zbl 1339.93042) Full Text: DOI
Arun, K. R. A numerical scheme for three-dimensional front propagation and control of Jordan mode. (English) Zbl 1260.65080 SIAM J. Sci. Comput. 34, No. 2, B148-B178 (2012). Reviewer: Vasilis Dimitriou (Chania) MSC: 65M08 35L60 35L80 58J47 65M06 65L06 PDF BibTeX XML Cite \textit{K. R. Arun}, SIAM J. Sci. Comput. 34, No. 2, B148--B178 (2012; Zbl 1260.65080) Full Text: DOI
Berthold, Timo; Heinz, Stefan; Vigerske, Stefan Extending a CIP framework to solve MIQCPs. (English) Zbl 1242.90120 Lee, Jon (ed.) et al., Mixed integer nonlinear programming. Selected papers based on the presentations at the IMA workshop mixed-integer nonlinear optimization: Algorithmic advances and applications, Minneapolis, MN, USA, November 17–21, 2008. New York, NY: Springer (ISBN 978-1-4614-1926-6/hbk; 978-1-4614-1927-3/ebook). The IMA Volumes in Mathematics and its Applications 154, 427-444 (2012). MSC: 90C11 90C20 90C26 90C27 90C57 PDF BibTeX XML Cite \textit{T. Berthold} et al., IMA Vol. Math. Appl. 154, 427--444 (2012; Zbl 1242.90120) Full Text: DOI
Gay, David M. Using expression graphs in optimization algorithms. (English) Zbl 1242.90131 Lee, Jon (ed.) et al., Mixed integer nonlinear programming. Selected papers based on the presentations at the IMA workshop mixed-integer nonlinear optimization: Algorithmic advances and applications, Minneapolis, MN, USA, November 17–21, 2008. New York, NY: Springer (ISBN 978-1-4614-1926-6/hbk; 978-1-4614-1927-3/ebook). The IMA Volumes in Mathematics and its Applications 154, 247-262 (2012). MSC: 90C11 68R10 68U01 68N20 68W30 05C85 PDF BibTeX XML Cite \textit{D. M. Gay}, IMA Vol. Math. Appl. 154, 247--262 (2012; Zbl 1242.90131) Full Text: DOI
Howe, Jacob M.; King, Andy A pearl on SAT and SMT solving in Prolog. (English) Zbl 1248.68455 Theor. Comput. Sci. 435, 43-55 (2012). Reviewer: Alex Nabebin (Moskva) MSC: 68T20 68N17 PDF BibTeX XML Cite \textit{J. M. Howe} and \textit{A. King}, Theor. Comput. Sci. 435, 43--55 (2012; Zbl 1248.68455) Full Text: DOI
Jaulin, Luc Solving set-valued constraint satisfaction problems. (English) Zbl 1282.62008 Computing 94, No. 2-4, 297-311 (2012). Reviewer: Frank Uhlig (Auburn) MSC: 62-07 65G40 65G30 PDF BibTeX XML Cite \textit{L. Jaulin}, Computing 94, No. 2--4, 297--311 (2012; Zbl 1282.62008) Full Text: DOI
Boussemart, Frédéric; Hemery, Fred; Lecoutre, Christophe; Modeliar, Mouny Samy Efficient constraint propagation for graph coloring. (English) Zbl 1268.68149 Bonomo, Flavia (ed.) et al., LAGOS’11 – VI Latin-American algorithms, graphs, and optimization symposium. Extended abstracts from the symposium, Bariloche, Argentina, March 28–April 1, 2011. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 37, 243-248 (2011). MSC: 68T20 05C15 05C85 PDF BibTeX XML Cite \textit{F. Boussemart} et al., Electron. Notes Discrete Math. 37, 243--248 (2011; Zbl 1268.68149) Full Text: DOI
Balafoutis, Thanasis; Paparrizou, Anastasia; Stergiou, Kostas; Walsh, Toby New algorithms for max restricted path consistency. (English) Zbl 1241.68098 Constraints 16, No. 4, 372-406 (2011). MSC: 68T20 68W40 PDF BibTeX XML Cite \textit{T. Balafoutis} et al., Constraints 16, No. 4, 372--406 (2011; Zbl 1241.68098) Full Text: DOI
Yedidia, Jonathan S. Message-passing algorithms for inference and optimization. (English) Zbl 1252.82012 J. Stat. Phys. 145, No. 4, 860-890 (2011). MSC: 82-08 05C70 65Y05 90B10 PDF BibTeX XML Cite \textit{J. S. Yedidia}, J. Stat. Phys. 145, No. 4, 860--890 (2011; Zbl 1252.82012) Full Text: DOI
Zdeborová, Lenka; Krzakala, Florent Quiet planting in the locked constraint satisfaction problems. (English) Zbl 1228.90101 SIAM J. Discrete Math. 25, No. 2, 750-770 (2011). MSC: 90C27 68Q25 05C80 PDF BibTeX XML Cite \textit{L. Zdeborová} and \textit{F. Krzakala}, SIAM J. Discrete Math. 25, No. 2, 750--770 (2011; Zbl 1228.90101) Full Text: DOI
Nightingale, Peter The extended global cardinality constraint: an empirical survey. (English) Zbl 1216.68250 Artif. Intell. 175, No. 2, 586-614 (2011). MSC: 68T20 90C59 PDF BibTeX XML Cite \textit{P. Nightingale}, Artif. Intell. 175, No. 2, 586--614 (2011; Zbl 1216.68250) Full Text: DOI
Vilím, Petr Timetable edge finding filtering algorithm for discrete cumulative resources. (English) Zbl 1302.90090 Achterberg, Tobias (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 8th international conference, CPAIOR 2011, Berlin, Germany, May 23–27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21310-6/pbk). Lecture Notes in Computer Science 6697, 230-245 (2011). MSC: 90B35 68T20 PDF BibTeX XML Cite \textit{P. Vilím}, Lect. Notes Comput. Sci. 6697, 230--245 (2011; Zbl 1302.90090) Full Text: DOI
Kovács, András; Beck, J. Christopher A global constraint for total weighted completion time for unary resources. (English) Zbl 1215.90028 Constraints 16, No. 1, 100-123 (2011). MSC: 90B35 68W40 PDF BibTeX XML Cite \textit{A. Kovács} and \textit{J. C. Beck}, Constraints 16, No. 1, 100--123 (2011; Zbl 1215.90028) Full Text: DOI
Bessiere, Christian; Cardon, Stéphane; Debruyne, Romuald; Lecoutre, Christophe Efficient algorithms for singleton arc consistency. (English) Zbl 1216.68236 Constraints 16, No. 1, 25-53 (2011). MSC: 68T20 68W40 PDF BibTeX XML Cite \textit{C. Bessiere} et al., Constraints 16, No. 1, 25--53 (2011; Zbl 1216.68236) Full Text: DOI
Ullmann, Julian R. Bit-vector algorithms for binary constraint satisfaction and subgraph isomorphism. (English) Zbl 1284.68529 ACM J. Exp. Algorithm. 15, Article No. 1.6, 64 p. (2010). MSC: 68T20 05C60 05C85 PDF BibTeX XML Cite \textit{J. R. Ullmann}, ACM J. Exp. Algorithm. 15, Article No. 1.6, 64 p. (2010; Zbl 1284.68529) Full Text: DOI
Jefferson, Christopher; Moore, Neil C. A.; Nightingale, Peter; Petrie, Karen E. Implementing logical connectives in constraint programming. (English) Zbl 1210.68103 Artif. Intell. 174, No. 16-17, 1407-1429 (2010). MSC: 68T20 PDF BibTeX XML Cite \textit{C. Jefferson} et al., Artif. Intell. 174, No. 16--17, 1407--1429 (2010; Zbl 1210.68103) Full Text: DOI
Chrétienne, Philippe; Picouleau, Christophe Scheduling problems. (English) Zbl 1203.90063 Paschos, Vangelis Th., Combinatorial optimization. Volume 2: Paradigms of combinatorial optimization. Problems and new approaches. London: ISTE; Hoboken, NJ: John Wiley & Sons (ISBN 978-1-84821-148-3/hbk; 978-1-84821-146-9/set). 33-59 (2010). MSC: 90B35 90C05 90C27 PDF BibTeX XML Cite \textit{P. Chrétienne} and \textit{C. Picouleau}, in: Combinatorial optimization. Volume 2: Paradigms of combinatorial optimization. Problems and new approaches. London: ISTE; Hoboken, NJ: John Wiley \& Sons. 33--59 (2010; Zbl 1203.90063)
Domes, Ferenc; Neumaier, Arnold Constraint propagation on quadratic constraints. (English) Zbl 1208.68200 Constraints 15, No. 3, 404-429 (2010). MSC: 68T20 90C20 PDF BibTeX XML Cite \textit{F. Domes} and \textit{A. Neumaier}, Constraints 15, No. 3, 404--429 (2010; Zbl 1208.68200) Full Text: DOI
Cambazard, Hadrien; O’Sullivan, Barry Erratum to “Reformulating table constraints using functional dependencies—an application to explanation generation”. (English) Zbl 1191.68627 Constraints 15, No. 1, 145-147 (2010). MSC: 68T20 PDF BibTeX XML Cite \textit{H. Cambazard} and \textit{B. O'Sullivan}, Constraints 15, No. 1, 145--147 (2010; Zbl 1191.68627) Full Text: DOI
Allstadt, Andrew; Caraco, Thomas; Korniss, G. Preemptive spatial competition under a reproduction-mortality constraint. (English) Zbl 1402.92335 J. Theor. Biol. 258, No. 4, 537-549 (2009). MSC: 92D25 92D40 PDF BibTeX XML Cite \textit{A. Allstadt} et al., J. Theor. Biol. 258, No. 4, 537--549 (2009; Zbl 1402.92335) Full Text: DOI
Viegas, Ruben Duarte; Azevedo, Francisco Lazy constraint imposing for improving the path constraint. (English) Zbl 1291.68380 Corradini, Andrea (ed.), Proceedings of the 5th international workshop on computing with terms and graphs (TERMGRAPH 2009), York, UK, March 22, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 253, No. 4, 113-128 (2009). MSC: 68T20 68R10 92C40 PDF BibTeX XML Cite \textit{R. D. Viegas} and \textit{F. Azevedo}, Electron. Notes Theor. Comput. Sci. 253, No. 4, 113--128 (2009; Zbl 1291.68380) Full Text: DOI
Stergiou, Kostas Heuristics for dynamically adapting propagation in constraint satisfaction problems. (English) Zbl 1185.90191 AI Commun. 22, No. 3, 125-141 (2009). MSC: 90C30 90C59 PDF BibTeX XML Cite \textit{K. Stergiou}, AI Commun. 22, No. 3, 125--141 (2009; Zbl 1185.90191) Full Text: DOI
Fischetti, Matteo; Salvagnin, Domenico Feasibility pump 2.0. (English) Zbl 1180.90208 Math. Program. Comput. 1, No. 2-3, 201-222 (2009). MSC: 90C11 90C27 90C57 90C59 PDF BibTeX XML Cite \textit{M. Fischetti} and \textit{D. Salvagnin}, Math. Program. Comput. 1, No. 2--3, 201--222 (2009; Zbl 1180.90208) Full Text: DOI
Vu, Xuan-Ha; Schichl, Hermann; Sam-Haroud, Djamila Interval propagation and search on directed acyclic graphs for numerical constraint solving. (English) Zbl 1179.90267 J. Glob. Optim. 45, No. 4, 499-531 (2009). MSC: 90C26 90C35 PDF BibTeX XML Cite \textit{X.-H. Vu} et al., J. Glob. Optim. 45, No. 4, 499--531 (2009; Zbl 1179.90267) Full Text: DOI
Feydy, Thibaut; Stuckey, Peter J. Propagating systems of dense linear integer constraints. (English) Zbl 1186.68437 Constraints 14, No. 2, 235-253 (2009). MSC: 68T20 PDF BibTeX XML Cite \textit{T. Feydy} and \textit{P. J. Stuckey}, Constraints 14, No. 2, 235--253 (2009; Zbl 1186.68437) Full Text: DOI
Kearfott, R. Baker GlobSol user guide. (English) Zbl 1180.90314 Optim. Methods Softw. 24, No. 4-5, 687-708 (2009). MSC: 90C30 65K05 90C26 65G20 PDF BibTeX XML Cite \textit{R. B. Kearfott}, Optim. Methods Softw. 24, No. 4--5, 687--708 (2009; Zbl 1180.90314) Full Text: DOI
Chen, Yixin; Huang, Ruoyun; Xing, Zhao; Zhang, Weixiong Long-distance mutual exclusion for planning. (English) Zbl 1192.68639 Artif. Intell. 173, No. 2, 365-391 (2009). MSC: 68T20 PDF BibTeX XML Cite \textit{Y. Chen} et al., Artif. Intell. 173, No. 2, 365--391 (2009; Zbl 1192.68639) Full Text: DOI
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby Filtering algorithms for the multiset ordering constraint. (English) Zbl 1191.68633 Artif. Intell. 173, No. 2, 299-328 (2009). MSC: 68T20 PDF BibTeX XML Cite \textit{A. M. Frisch} et al., Artif. Intell. 173, No. 2, 299--328 (2009; Zbl 1191.68633) Full Text: DOI
Pan, Yan; Pavel, Lacra Games with coupled propagated constraints in optical networks with multi-link topologies. (English) Zbl 1162.91326 Automatica 45, No. 4, 871-880 (2009). MSC: 91A80 91A43 91A06 90B18 PDF BibTeX XML Cite \textit{Y. Pan} and \textit{L. Pavel}, Automatica 45, No. 4, 871--880 (2009; Zbl 1162.91326) Full Text: DOI
Vilím, Petr Max energy filtering algorithm for discrete cumulative resources. (English) Zbl 1241.90125 van Hoeve, Willem-Jan (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27–31, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01928-9/pbk). Lecture Notes in Computer Science 5547, 294-308 (2009). MSC: 90C27 90B35 PDF BibTeX XML Cite \textit{P. Vilím}, Lect. Notes Comput. Sci. 5547, 294--308 (2009; Zbl 1241.90125) Full Text: DOI
Jaulin, Luc Robust set-membership state estimation; application to underwater robotics. (English) Zbl 1154.93431 Automatica 45, No. 1, 202-206 (2009). MSC: 93E10 93C85 93C55 93C10 PDF BibTeX XML Cite \textit{L. Jaulin}, Automatica 45, No. 1, 202--206 (2009; Zbl 1154.93431) Full Text: DOI
Prestwich, Steven The relation between complete and incomplete search. (English) Zbl 1415.90047 Blum, Christian (ed.) et al., Hybrid metaheuristics. An emerging approach to optimization. Berlin: Springer. Stud. Comput. Intell. 114, 63-83 (2008). MSC: 90B40 90C99 PDF BibTeX XML Cite \textit{S. Prestwich}, Stud. Comput. Intell. 114, 63--83 (2008; Zbl 1415.90047) Full Text: DOI
Huang, Yuan-Dong; Lu, Jiang; Zhao, Rui-Lian Path-oriented automatic random testing method based on double constraint propagation. (Chinese. English summary) Zbl 1173.68396 J. Comput. Appl. 28, No. 4, 1032-1034 (2008). MSC: 68M15 PDF BibTeX XML Cite \textit{Y.-D. Huang} et al., J. Comput. Appl. 28, No. 4, 1032--1034 (2008; Zbl 1173.68396) Full Text: DOI Link
Dib, Mohammad; Mabed, Hakim; Caminada, Alexandre Constraint propagation with tabu list for min-span frequency assignment problem. (English) Zbl 1160.90515 Le Thi, Hoai An (ed.) et al., Modelling, computation and optimization in information systems and management sciences. Second international conference MCO 2008, Metz, France - Luxembourg, September 8–10, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87476-8/pbk). Communications in Computer and Information Science 14, 97-106 (2008). MSC: 90B50 PDF BibTeX XML Cite \textit{M. Dib} et al., Commun. Comput. Inf. Sci. 14, 97--106 (2008; Zbl 1160.90515) Full Text: DOI
Artigues, Christian; Feillet, Dominique A branch and bound method for the job-shop problem with sequence-dependent setup times. (English) Zbl 1152.90424 Ann. Oper. Res. 159, 135-159 (2008). MSC: 90B35 90C57 90C39 PDF BibTeX XML Cite \textit{C. Artigues} and \textit{D. Feillet}, Ann. Oper. Res. 159, 135--159 (2008; Zbl 1152.90424) Full Text: DOI
Loudni, Samir; Boizumault, Patrice Combining VNS with constraint programming for solving anytime optimization problems. (English) Zbl 1160.90661 Eur. J. Oper. Res. 191, No. 3, 705-735 (2008). MSC: 90C30 PDF BibTeX XML Cite \textit{S. Loudni} and \textit{P. Boizumault}, Eur. J. Oper. Res. 191, No. 3, 705--735 (2008; Zbl 1160.90661) Full Text: DOI
Vimont, Yannick; Boussier, Sylvain; Vasquez, Michel Reduced costs propagation in an efficient implicit enumeration for the 01 multidimensional knapsack problem. (English) Zbl 1138.90014 J. Comb. Optim. 15, No. 2, 165-178 (2008). MSC: 90C09 PDF BibTeX XML Cite \textit{Y. Vimont} et al., J. Comb. Optim. 15, No. 2, 165--178 (2008; Zbl 1138.90014) Full Text: DOI
Krajíček, Jan An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams. (English) Zbl 1141.03028 J. Symb. Log. 73, No. 1, 227-237 (2008). Reviewer: Emil Jeřábek (Praha) MSC: 03F20 PDF BibTeX XML Cite \textit{J. Krajíček}, J. Symb. Log. 73, No. 1, 227--237 (2008; Zbl 1141.03028) Full Text: DOI Euclid
Choi, C. W.; Lee, J. H. M.; Stuckey, P. J. Removing propagation redundant constraints in redundant modeling. (English) Zbl 1367.68262 ACM Trans. Comput. Log. 8, No. 4, Article No. 23, 38 p. (2007). MSC: 68T20 90C09 PDF BibTeX XML Cite \textit{C. W. Choi} et al., ACM Trans. Comput. Log. 8, No. 4, Article No. 23, 38 p. (2007; Zbl 1367.68262) Full Text: DOI
Di Loreto, Michael; Dao, Massa; Jaulin, Luc; Lafay, Jean-François; Loiseau, Jean Jacques Applied interval computation: A new approach for time-delays systems analysis. (English) Zbl 1246.93060 Chiasson, John (ed.) et al., Applications of time delay systems. Berlin: Springer (ISBN 978-3-540-49555-0/pbk). Lecture Notes in Control and Information Sciences 352, 175-197 (2007). MSC: 93C05 93C15 65G40 PDF BibTeX XML Cite \textit{M. Di Loreto} et al., Lect. Notes Control Inf. Sci. 352, 175--197 (2007; Zbl 1246.93060) Full Text: DOI
Apt, Krzysztof R.; Zoeteweij, Peter An analysis of arithmetic constraints on integer intervals. (English) Zbl 1125.68109 Constraints 12, No. 4, 429-468 (2007). MSC: 68T20 PDF BibTeX XML Cite \textit{K. R. Apt} and \textit{P. Zoeteweij}, Constraints 12, No. 4, 429--468 (2007; Zbl 1125.68109) Full Text: DOI