Добірка наукової літератури з теми "Constraint programming"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Constraint programming".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Constraint programming"
APT, KRZYSZTOF R., and ERIC MONFROY. "Constraint programming viewed as rule-based programming." Theory and Practice of Logic Programming 1, no. 6 (November 2001): 713–50. http://dx.doi.org/10.1017/s1471068401000072.
Повний текст джерелаVan Hentenryck, Pascal, Laurent Michel, and Frédéric Benhamou. "Constraint programming over nonlinear constraints." Science of Computer Programming 30, no. 1-2 (January 1998): 83–118. http://dx.doi.org/10.1016/s0167-6423(97)00008-7.
Повний текст джерелаO'Sullivan, Barry. "Automated Modelling and Solving in Constraint Programming." Proceedings of the AAAI Conference on Artificial Intelligence 24, no. 1 (July 5, 2010): 1493–97. http://dx.doi.org/10.1609/aaai.v24i1.7530.
Повний текст джерелаDao, Thi-Bich-Hanh, Khanh-Chuong Duong, and Christel Vrain. "Constrained clustering by constraint programming." Artificial Intelligence 244 (March 2017): 70–94. http://dx.doi.org/10.1016/j.artint.2015.05.006.
Повний текст джерелаSCHRIJVERS, TOM, PETER STUCKEY, and PHILIP WADLER. "Monadic constraint programming." Journal of Functional Programming 19, no. 6 (August 14, 2009): 663–97. http://dx.doi.org/10.1017/s0956796809990086.
Повний текст джерелаMattenet, Alex, Ian Davidson, Siegfried Nijssen, and Pierre Schaus. "Generic Constraint-based Block Modeling using Constraint Programming." Journal of Artificial Intelligence Research 70 (February 9, 2021): 597–630. http://dx.doi.org/10.1613/jair.1.12280.
Повний текст джерелаDincbas, M. "Constraint programming." ACM Computing Surveys 28, no. 4es (December 1996): 62. http://dx.doi.org/10.1145/242224.242303.
Повний текст джерелаVan Hentenryck, Pascal. "Constraint programming." ACM SIGSOFT Software Engineering Notes 25, no. 1 (January 2000): 89–90. http://dx.doi.org/10.1145/340855.341036.
Повний текст джерелаBooth, Kyle E. C., Bryan O'Gorman, Jeffrey Marshall, Stuart Hadfield, and Eleanor Rieffel. "Quantum-accelerated constraint programming." Quantum 5 (September 28, 2021): 550. http://dx.doi.org/10.22331/q-2021-09-28-550.
Повний текст джерелаARIAS, JOAQUIN, MANUEL CARRO, ELMER SALAZAR, KYLE MARPLE, and GOPAL GUPTA. "Constraint Answer Set Programming without Grounding." Theory and Practice of Logic Programming 18, no. 3-4 (July 2018): 337–54. http://dx.doi.org/10.1017/s1471068418000285.
Повний текст джерелаДисертації з теми "Constraint programming"
Duong, Khanh-Chuong. "Constrained clustering by constraint programming." Thesis, Orléans, 2014. http://www.theses.fr/2014ORLE2049/document.
Повний текст джерелаCluster analysis is an important task in Data Mining with hundreds of different approaches in the literature. Since the last decade, the cluster analysis has been extended to constrained clustering, also called semi-supervised clustering, so as to integrate previous knowledge on data to clustering algorithms. In this dissertation, we explore Constraint Programming (CP) for solving the task of constrained clustering. The main principles in CP are: (1) users specify declaratively the problem in a Constraint Satisfaction Problem; (2) solvers search for solutions by constraint propagation and search. Relying on CP has two main advantages: the declarativity, which enables to easily add new constraints and the ability to find an optimal solution satisfying all the constraints (when there exists one). We propose two models based on CP to address constrained clustering tasks. The models are flexible and general and supports instance-level constraints and different cluster-level constraints. It also allows the users to choose among different optimization criteria. In order to improve the efficiency, different aspects have been studied in the dissertation. Experiments on various classical datasets show that our models are competitive with other exact approaches. We show that our models can easily be embedded in a more general process and we illustrate this on the problem of finding the Pareto front of a bi-criterion optimization process
Achterberg, Tobias. "Constraint integer programming /." München : Verl. Dr. Hut, 2008. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017108806&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
Повний текст джерелаAchterberg, Tobias. "Constraint integer programming." München Verl. Dr. Hut, 2007. http://d-nb.info/992163366/04.
Повний текст джерелаJefferson, Christopher. "Representations in constraint programming." Thesis, University of York, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.445465.
Повний текст джерелаMcDonald, Iain. "Symmetry in constraint programming." Thesis, University of St Andrews, 2004. http://hdl.handle.net/10023/14983.
Повний текст джерелаBackeman, Peter. "Propagating the nVector Constraint : Haplotype Inference using Constraint Programming." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-211862.
Повний текст джерелаHnich, Brahim. "Function Variables for Constraint Programming." Doctoral thesis, Uppsala University, Department of Information Science, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3143.
Повний текст джерелаQuite often modelers with constraint programming (CP) use the same modelling patterns for different problems, possibly from different domains. This results in recurring idioms in constraint programs. Our approach can be seen as a three-step approach. First, we identify some of these recurring patterns in constraint programs. Second, we propose a general way of describing these patterns by introducing proper constructs that would cover a wide range of applications. Third, we propose automating the process of reproducing these idioms from these higher-level descriptions. The whole process can be seen as a way of encapsulating some of the expertise and knowledge often used by CP modelers and making it available in much simpler forms. Doing so, we are able to extend current CP languages with high-level abstractions that open doors for automation of some of the modelling processes.
In particular, we introduce function variables and allow the statement of constraints on these variables using function operations. A function variable is a decision variable that can take a value from a set of functions as opposed to an integer variable that ranges over integers, or a set variable that ranges over a set of sets. We show that a function variable can be mapped into different representations in terms of integer and set variables, and illustrate how to map constraints stated on a function variable into constraints on integer and set variables. As a result, a function model expressed using function variables opens doors to the automatic generation of alternate CP models. These alternate models either use a different variable representation, or have extra implied constraints, or employ different constraint formulation, or combine different models that are linked using channelling constraints. A number of heuristics are also developed that allow the comparison of different constraint formulations. Furthermore, we present an extensive theoretical comparison of models of injection problems supported by asymptotic and empirical studies. Finally, a practical modelling tool that is built based on a high-level language that allows function variables is presented and evaluated. The tool helps users explore different alternate CP models starting from a function model that is easier to develop, understand, and maintain.
Jägare, Peter. "Airspace Sectorisation using Constraint Programming." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-155783.
Повний текст джерелаOlive, Xavier. "Symmetries in Distributed Constraint Programming." 京都大学 (Kyoto University), 2011. http://hdl.handle.net/2433/142134.
Повний текст джерелаWetsel, Gerhard. "Abductive and constraint logic programming." Thesis, Imperial College London, 1997. http://hdl.handle.net/10044/1/7212.
Повний текст джерелаКниги з теми "Constraint programming"
Mayoh, Brian, Enn Tyugu, and Jaan Penjam, eds. Constraint Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0.
Повний текст джерелаSchulte, Christian, ed. Programming Constraint Services. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45945-6.
Повний текст джерелаAchterberg, Tobias. Constraint integer programming. Mu nchen: Verl. Dr. Hut, 2007.
Знайти повний текст джерелаSaraswat, Vijay. Concurrent constraint programming. London, England: MIT Press, 1993.
Знайти повний текст джерелаApt, Krzysztof R. Principles of constraint programming. Cambridge: Cambridge University Press, 2010.
Знайти повний текст джерела1962-, Rossi Francesca, Van Beek Peter, and Walsh Toby, eds. Handbook of constraint programming. Amsterdam: Elsevier, 2007.
Знайти повний текст джерелаAssayag, Gérard, and Charlotte Truchet. Constraint programming in music. Hoboken, NJ: John Wiley & Sons, 2011.
Знайти повний текст джерелаFrühwirth, Thom. Essentials of Constraint Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.
Знайти повний текст джерелаDistributed constraint logic programming. Singapore: World Scientific, 1993.
Знайти повний текст джерелаBenhamou, Frdric, Narendra Jussien, and Barry O'Sullivan, eds. Trends in Constraint Programming. London, UK: ISTE, 2007. http://dx.doi.org/10.1002/9780470612309.
Повний текст джерелаЧастини книг з теми "Constraint programming"
Borning, Alan, Bjorn Freeman-Benson, and Molly Wilson. "Constraint Hierarchies." In Constraint Programming, 75–115. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_4.
Повний текст джерелаMayoh, Brian, Enn Tyugu, and Tarmo Uustalu. "Constraint Satisfaction and Constraint Programming: A Brief Lead-In." In Constraint Programming, 1–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_1.
Повний текст джерелаPalmgren, Erik. "Denotational Semantics of Constraint Logic Programming — A Nonstandard Approach." In Constraint Programming, 261–88. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_10.
Повний текст джерелаMints, Grigori. "Resolution Strategies for the Intuitionistic Logic." In Constraint Programming, 289–311. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_11.
Повний текст джерелаLopez, Gus, Bjorn Freeman-Benson, and Alan Borning. "Kaleidoscope: A Constraint Imperative Programming Language." In Constraint Programming, 313–29. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_12.
Повний текст джерелаPenjam, Jaan, and Enn Tyugu. "Constraints in NUT." In Constraint Programming, 330–49. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_13.
Повний текст джерелаHyvőnen, Eero, Stefano De Pascale, and Aarno Lehtola. "Interval Constraint Programming in C++." In Constraint Programming, 350–66. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_14.
Повний текст джерелаSaraswat, Vijay, Radha Jagadeesan, and Vinheet Gupta. "Programming in Timed Concurrent Constraint Languages." In Constraint Programming, 367–413. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_15.
Повний текст джерелаJanson, Sverker, and Seif Haridi. "An Introduction to AKL A Multi-Paradigm Programming Language." In Constraint Programming, 414–49. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_16.
Повний текст джерелаMayoh, Brian. "Constraint Programming and Artificial Intelligence." In Constraint Programming, 17–50. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85983-0_2.
Повний текст джерелаТези доповідей конференцій з теми "Constraint programming"
Jaffar, J., and J. L. Lassez. "Constraint logic programming." In the 14th ACM SIGACT-SIGPLAN symposium. New York, New York, USA: ACM Press, 1987. http://dx.doi.org/10.1145/41625.41635.
Повний текст джерелаJagadeesan, Radha, and Will Marrero. "Timed constraint programming." In the 7th ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1069774.1069790.
Повний текст джерелаDi Pierro, Alessandra, and Herbert Wiklicky. "Concurrent constraint programming." In the 2nd ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/351268.351284.
Повний текст джерелаSaraswat, Vijay A., and Martin Rinard. "Concurrent constraint programming." In the 17th ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 1990. http://dx.doi.org/10.1145/96709.96733.
Повний текст джерелаPothitos, Nikolaos, and Panagiotis Stamatopoulos. "Constraint Programming MapReduce'd." In SETN '16: 9th Hellenic Conference on Artificial Intelligence. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2903220.2903248.
Повний текст джерелаHemmi, David. "Stochastic Constraint Programming." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/751.
Повний текст джерелаFang, Cheng. "Efficient Algorithms And Representations For Chance-constrained Mixed Constraint Programming." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/749.
Повний текст джерелаChenouard, Raphaël, Laurent Granvilliers, and Ricardo Soto. "Model-driven constraint programming." In the 10th international ACM SIGPLAN symposium. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1389449.1389479.
Повний текст джерелаLin, Shu, Na Meng, and Wenxin Li. "Optimizing Constraint Solving via Dynamic Programming." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/160.
Повний текст джерелаJing Gong and Jiaqi Ji. "Integration of Constraint Programming and mathematical programming." In 2010 3rd International Conference on Advanced Computer Theory and Engineering (ICACTE 2010). IEEE, 2010. http://dx.doi.org/10.1109/icacte.2010.5579785.
Повний текст джерелаЗвіти організацій з теми "Constraint programming"
Gupta, Nitesh. Constraint Programming Using Multi-Valued Decision Diagrams. Ames (Iowa): Iowa State University, January 2019. http://dx.doi.org/10.31274/cc-20240624-418.
Повний текст джерелаBROWN UNIV PROVIDENCE RI. Workshop on Principles and Practice of Constraint Programming (1st) Held in Newport, Rhode Island on 28-30 April 1993. Fort Belvoir, VA: Defense Technical Information Center, April 1993. http://dx.doi.org/10.21236/ada281201.
Повний текст джерелаAit-Kaci, Hassan, and Andreas Podelski. Position Papers for the First Workshop on Principles and Practice of Constraint Programming Held in Newport, Rhode Island on April 28-30, 1993. Fort Belvoir, VA: Defense Technical Information Center, April 1993. http://dx.doi.org/10.21236/ada281497.
Повний текст джерелаAriyawansa, K. A., and Yuntao Zhu. Chance-Constrained Semidefinite Programming. Fort Belvoir, VA: Defense Technical Information Center, January 2000. http://dx.doi.org/10.21236/ada530454.
Повний текст джерелаDay, William B. Constraints Logic Programming in Knowledge-Based Planning Domains. Fort Belvoir, VA: Defense Technical Information Center, December 1992. http://dx.doi.org/10.21236/ada262958.
Повний текст джерелаVAN BLOEMEN WAANDERS, BART G., ROSCOE A. BARTLETT, KEVIN R. LONG, PAUL T. BOGGS, and ANDREW G. SALINGER. Large Scale Non-Linear Programming for PDE Constrained Optimization. Office of Scientific and Technical Information (OSTI), October 2002. http://dx.doi.org/10.2172/805833.
Повний текст джерелаBoggs, P. T., J. W. Tolle, and A. J. Kearsley. A merit function for inequality constrained nonlinear programming problems. Gaithersburg, MD: National Institute of Standards and Technology, 1991. http://dx.doi.org/10.6028/nist.ir.4702.
Повний текст джерелаDennis, John E., Tapia Jr., Torczon Richard A., and Virginia J. Some Issues in Nonlinear Programming Algorithms for Problems with Simulation Constraints. Fort Belvoir, VA: Defense Technical Information Center, April 1995. http://dx.doi.org/10.21236/ada294932.
Повний текст джерелаThorpe, Jodie, Alisha Ault, Iana Barenboim, Luize Guimarães, Evert-jan Quak, and Katia Taela. Learning from Entrepreneurship Programming for Women’s Economic Empowerment. Institute of Development Studies, June 2023. http://dx.doi.org/10.19088/muva.2023.001.
Повний текст джерелаSembler, Jose Ignacio, Diether Beuermann, Carlos Elías, and Cheryl Gray. IDB-9: Country Programming. Inter-American Development Bank, March 2013. http://dx.doi.org/10.18235/0010515.
Повний текст джерела