Fahimi, Hamed; Quimper, Claude-Guy Overload-checking and edge-finding for robust cumulative scheduling. (English) Zbl 07822511 INFORMS J. Comput. 35, No. 6, 1419-1438 (2023). MSC: 90B35 PDFBibTeX XMLCite \textit{H. Fahimi} and \textit{C.-G. Quimper}, INFORMS J. Comput. 35, No. 6, 1419--1438 (2023; Zbl 07822511) Full Text: DOI
Bessiere, Christian; Carbonnel, Clément; Cooper, Martin C.; Hebrard, Emmanuel Complexity of minimum-size arc-inconsistency explanations. (English) Zbl 07805095 Constraints 28, No. 3, 427-449 (2023). MSC: 68Qxx 68Wxx 68Rxx PDFBibTeX XMLCite \textit{C. Bessiere} et al., Constraints 28, No. 3, 427--449 (2023; Zbl 07805095) Full Text: DOI
Tardivo, Fabio; Dovier, Agostino; Formisano, Andrea; Michel, Laurent; Pontelli, Enrico Constraint propagation on GPU: a case study for the AllDifferent constraint. (English) Zbl 07804191 J. Log. Comput. 33, No. 8, 1734-1752 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{F. Tardivo} et al., J. Log. Comput. 33, No. 8, 1734--1752 (2023; Zbl 07804191) Full Text: DOI
Tardivo, Fabio; Dovier, Agostino; Formisano, Andrea; Michel, Laurent; Pontelli, Enrico Constraint propagation on GPU: a case study for the cumulative constraint. (English) Zbl 07745670 Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 336-353 (2023). MSC: 68T20 90Bxx 90C27 PDFBibTeX XMLCite \textit{F. Tardivo} et al., Lect. Notes Comput. Sci. 13884, 336--353 (2023; Zbl 07745670) Full Text: DOI
Dlask, Tomáš; Werner, Tomáš; de Givry, Simon Super-reparametrizations of weighted CSPs: properties and optimization perspective. (English) Zbl 07738741 Constraints 28, No. 2, 277-319 (2023). MSC: 68Qxx 90Cxx 68Txx PDFBibTeX XMLCite \textit{T. Dlask} et al., Constraints 28, No. 2, 277--319 (2023; Zbl 07738741) Full Text: DOI arXiv
Dlask, Tomáš; Werner, Tomáš Activity propagation in systems of linear inequalities and its relation to block-coordinate descent in linear programs. (English) Zbl 07738740 Constraints 28, No. 2, 244-276 (2023). MSC: 90C05 PDFBibTeX XMLCite \textit{T. Dlask} and \textit{T. Werner}, Constraints 28, No. 2, 244--276 (2023; Zbl 07738740) Full Text: DOI
Xu, Wei; Zhang, Zhe; Zhou, Guangyan Generating hard satisfiable instances by planting into random constraint satisfaction problem model with growing constraint scope length. (English) Zbl 07642801 Physica A 609, Article ID 128367, 14 p. (2023). MSC: 82-XX PDFBibTeX XMLCite \textit{W. Xu} et al., Physica A 609, Article ID 128367, 14 p. (2023; Zbl 07642801) Full Text: DOI
Jaulin, Luc Actions of the hyperoctahedral group to compute minimal contractors. (English) Zbl 07613168 Artif. Intell. 313, Article ID 103790, 20 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{L. Jaulin}, Artif. Intell. 313, Article ID 103790, 20 p. (2022; Zbl 07613168) Full Text: DOI
Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta Correct approximation of IEEE 754 floating-point arithmetic for program verification. (English) Zbl 1490.68078 Constraints 27, No. 1-2, 29-69 (2022). MSC: 68N30 65G50 68T20 PDFBibTeX XMLCite \textit{R. Bagnara} et al., Constraints 27, No. 1--2, 29--69 (2022; Zbl 1490.68078) Full Text: DOI arXiv
Yang, Qing; Chen, Jun; Al-Nabhan, Najla Data representation using robust nonnegative matrix factorization for edge computing. (English) Zbl 07513254 Math. Biosci. Eng. 19, No. 2, 2147-2178 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{Q. Yang} et al., Math. Biosci. Eng. 19, No. 2, 2147--2178 (2022; Zbl 07513254) Full Text: DOI
Zhou, Han; Yin, Hongpeng; Li, Yanxia; Chai, Yi Multiview clustering via exclusive non-negative subspace learning and constraint propagation. (English) Zbl 1484.62087 Inf. Sci. 552, 102-117 (2021). MSC: 62H30 68T05 PDFBibTeX XMLCite \textit{H. Zhou} et al., Inf. Sci. 552, 102--117 (2021; Zbl 1484.62087) Full Text: DOI
Hijazi, Samah; Hamad, Denis; Kalakech, Mariam; Kalakech, Ali Active learning of constraints for weighted feature selection. (English) Zbl 07363877 Adv. Data Anal. Classif., ADAC 15, No. 2, 337-377 (2021). MSC: 15A18 65F15 62H30 68T10 47N10 PDFBibTeX XMLCite \textit{S. Hijazi} et al., Adv. Data Anal. Classif., ADAC 15, No. 2, 337--377 (2021; Zbl 07363877) Full Text: DOI
Xu, Wei; Gong, Fuzhou; Zhou, Guangyan Clustering phase of a general constraint satisfaction problem model \(d\)-\(k\)-CSP. (English) Zbl 07571814 Physica A 537, Article ID 122708, 15 p. (2020). MSC: 82-XX PDFBibTeX XMLCite \textit{W. Xu} et al., Physica A 537, Article ID 122708, 15 p. (2020; Zbl 07571814) Full Text: DOI
Vâlcu, Caterina Stability for small data: the drift model of the conformal method. (English) Zbl 1479.83017 Classical Quantum Gravity 37, No. 19, Article ID 195028, 38 p. (2020). MSC: 83C05 70H45 53C18 58J47 51M10 PDFBibTeX XMLCite \textit{C. Vâlcu}, Classical Quantum Gravity 37, No. 19, Article ID 195028, 38 p. (2020; Zbl 1479.83017) Full Text: DOI arXiv
Csukás, Károly; Rácz, István Numerical investigations of the asymptotics of solutions to the evolutionary form of the constraints. (English) Zbl 1478.83040 Classical Quantum Gravity 37, No. 15, Article ID 155006, 35 p. (2020). MSC: 83C27 83C57 70H45 83C30 58J47 PDFBibTeX XMLCite \textit{K. Csukás} and \textit{I. Rácz}, Classical Quantum Gravity 37, No. 15, Article ID 155006, 35 p. (2020; Zbl 1478.83040) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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 1463.93190 Acta Cybern. 24, No. 3, 557-572 (2020). MSC: 93C85 PDFBibTeX XMLCite \textit{I.-F. Kenmogne} et al., Acta Cybern. 24, No. 3, 557--572 (2020; Zbl 1463.93190) 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 PDFBibTeX XMLCite \textit{E. Chung} and \textit{S.-M. Pun}, J. Comput. Phys. 409, Article ID 109359, 13 p. (2020; Zbl 1435.76036) Full Text: DOI arXiv
Mach, Patryk; Wang, Yaohua; Xie, Naqing Construction of vacuum initial data by the conformally covariant split system. (English) Zbl 1479.83191 Classical Quantum Gravity 36, No. 14, Article ID 145001, 23 p. (2019). MSC: 83C80 83C05 70H45 58J32 58J47 83C27 PDFBibTeX XMLCite \textit{P. Mach} et al., Classical Quantum Gravity 36, No. 14, Article ID 145001, 23 p. (2019; Zbl 1479.83191) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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 1468.68207 Constraints 24, No. 1, 94-131 (2019). MSC: 68T20 PDFBibTeX XMLCite \textit{K. Stergiou}, Constraints 24, No. 1, 94--131 (2019; Zbl 1468.68207) Full Text: DOI
Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J. Wombit: a portfolio bit-vector solver using word-level propagation. (English) Zbl 1468.68210 J. Autom. Reasoning 63, No. 3, 723-762 (2019). MSC: 68T20 68T05 PDFBibTeX XMLCite \textit{W. Wang} et al., J. Autom. Reasoning 63, No. 3, 723--762 (2019; Zbl 1468.68210) Full Text: DOI Link
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{P. Kučera} et al., Theor. Comput. Sci. 762, 51--73 (2019; Zbl 1417.68199) Full Text: DOI arXiv
Anselma, Luca; Mazzei, Alessandro; Piovesan, Luca; Terenziani, Paolo Temporal reasoning with layered preferences. (English) Zbl 1518.68345 Ceci, Michelangelo (ed.) et al., Foundations of intelligent systems. 24th international symposium, ISMIS 2018, Limassol, Cyprus, October 29–31, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11177, 367-376 (2018). MSC: 68T20 PDFBibTeX XMLCite \textit{L. Anselma} et al., Lect. Notes Comput. Sci. 11177, 367--376 (2018; Zbl 1518.68345) Full Text: DOI
Mouhoub, Malek; Al, Marri Hamad; Alanazi, Eisa Learning qualitative constraint networks. (English) Zbl 1487.68216 Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 19, 13 p. (2018). MSC: 68T20 68T05 PDFBibTeX XMLCite \textit{M. Mouhoub} et al., LIPIcs -- Leibniz Int. Proc. Inform. 120, Article 19, 13 p. (2018; Zbl 1487.68216) 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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{P. Hintz} and \textit{A. Vasy}, Acta Math. 220, No. 1, 1--206 (2018; Zbl 1391.83061) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{C. Berkholz} and \textit{O. Verbitsky}, J. Comput. Syst. Sci. 91, 104--114 (2018; Zbl 1378.68059) Full Text: DOI
Nadel, Alexander A correct-by-decision solution for simultaneous place and route. (English) Zbl 1494.68254 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 436-452 (2017). MSC: 68T20 PDFBibTeX XMLCite \textit{A. Nadel}, Lect. Notes Comput. Sci. 10427, 436--452 (2017; Zbl 1494.68254) 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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{M. M. A. Polash} et al., Constraints 22, No. 3, 403--431 (2017; Zbl 1387.90225) Full Text: DOI Link
Stergiou, Kostas Revisiting restricted path consistency. (English) Zbl 1387.90126 Constraints 22, No. 3, 377-402 (2017). MSC: 90C09 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{Y. Puranik} and \textit{N. V. Sahinidis}, Constraints 22, No. 3, 338--376 (2017; Zbl 1387.90164) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{D. Ferrero} et al., J. Comb. Optim. 34, No. 3, 736--741 (2017; Zbl 1376.05110) Full Text: DOI arXiv Link
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 PDFBibTeX XMLCite \textit{P. Kučera} et al., Lect. Notes Comput. Sci. 10491, 412--428 (2017; Zbl 1417.68198) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{J. Ji} et al., Theory Pract. Log. Program. 17, No. 5--6, 889--905 (2017; Zbl 1422.68220) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{N. Narodytska} et al., Constraints 21, No. 4, 495--532 (2016; Zbl 1368.90110) Full Text: DOI arXiv Link
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 arXiv
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 PDFBibTeX XMLCite \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 1471.68044 Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9322, 307-322 (2015). MSC: 68N15 68T20 PDFBibTeX XMLCite \textit{A. Zaki} et al., Lect. Notes Comput. Sci. 9322, 307--322 (2015; Zbl 1471.68044) 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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{S. Ravanbakhsh} and \textit{R. Greiner}, J. Mach. Learn. Res. 16, 1249--1274 (2015; Zbl 1351.68257) Full Text: arXiv 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 PDFBibTeX XMLCite \textit{D. Bergman} et al., Constraints 20, No. 3, 346--361 (2015; Zbl 1327.90116) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{M. Ibrahimi} et al., Ann. Appl. Probab. 25, No. 5, 2743--2808 (2015; Zbl 1341.68061) Full Text: DOI arXiv Euclid
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 PDFBibTeX XMLCite \textit{A. Wechsung} et al., J. Glob. Optim. 63, No. 1, 1--36 (2015; Zbl 1322.49048) Full Text: DOI Link
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{F. Krzakala} et al., J. Satisf. Boolean Model. Comput. 8, No. 3--4, 149--171 (2014; Zbl 1322.68182) Full Text: arXiv
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{C. Prud'homme} et al., Constraints 19, No. 1, 57--76 (2014; Zbl 1316.90041) Full Text: DOI HAL
Francis, Kathryn Glenn; Stuckey, Peter J. Explaining circuit propagation. (English) Zbl 1310.05144 Constraints 19, No. 1, 1-29 (2014). MSC: 05C62 05C82 05C38 PDFBibTeX XMLCite \textit{K. G. Francis} and \textit{P. J. Stuckey}, Constraints 19, No. 1, 1--29 (2014; Zbl 1310.05144) Full Text: DOI Link
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{J. Wittocx} et al., ACM Trans. Comput. Log. 14, No. 3, Article No. 17, 45 p. (2013; Zbl 1353.68260) Full Text: DOI arXiv Link
Correia, Marco; Barahona, Pedro View-based propagation of decomposable constraints. (English) Zbl 1317.90202 Constraints 18, No. 4, 579-608 (2013). MSC: 90C10 PDFBibTeX XMLCite \textit{M. Correia} and \textit{P. Barahona}, Constraints 18, No. 4, 579--608 (2013; Zbl 1317.90202) Full Text: DOI arXiv
Schulte, Christian; Tack, Guido View-based propagator derivation. (English) Zbl 1328.68202 Constraints 18, No. 1, 75-107 (2013). MSC: 68T20 PDFBibTeX XMLCite \textit{C. Schulte} and \textit{G. Tack}, Constraints 18, No. 1, 75--107 (2013; Zbl 1328.68202) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{Z. Lu} and \textit{Y. Peng}, Int. J. Comput. Vis. 103, No. 3, 306--325 (2013; Zbl 1270.68351) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{M. Fontaine} et al., RAIRO, Oper. Res. 47, No. 2, 91--123 (2013; Zbl 1267.68211) Full Text: DOI Link
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{P. Nightingale} et al., J. Artif. Intell. Res. (JAIR) 46, 1--45 (2013; Zbl 1261.68110) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{L. Jaulin}, Math. Comput. Sci. 6, No. 4, 347--359 (2012; Zbl 1339.93042) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{K. R. Arun}, SIAM J. Sci. Comput. 34, No. 2, B148--B178 (2012; Zbl 1260.65080) Full Text: DOI Link
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{D. M. Gay}, IMA Vol. Math. Appl. 154, 247--262 (2012; Zbl 1242.90131) Full Text: DOI Link
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{L. Zdeborová} and \textit{F. Krzakala}, SIAM J. Discrete Math. 25, No. 2, 750--770 (2011; Zbl 1228.90101) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{C. Bessiere} et al., Constraints 16, No. 1, 25--53 (2011; Zbl 1216.68236) Full Text: DOI Link
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{K. Stergiou}, AI Commun. 22, No. 3, 125--141 (2009; Zbl 1185.90191) Full Text: DOI