Journal articles on the topic 'Constraint Satisfaction Programming'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Constraint Satisfaction Programming.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Van Hentenryck, Pascal, Helmut Simonis, and Mehmet Dincbas. "Constraint satisfaction using constraint logic programming." Artificial Intelligence 58, no. 1-3 (December 1992): 113–59. http://dx.doi.org/10.1016/0004-3702(92)90006-j.
Full textAPT, 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.
Full textBooth, 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.
Full textRossi, Francesca, Kristen Brent Venable, and Toby Walsh. "Preferences in Constraint Satisfaction and Optimization." AI Magazine 29, no. 4 (December 28, 2008): 58. http://dx.doi.org/10.1609/aimag.v29i4.2202.
Full textRossi, Francesca. "Constraint satisfaction problems in logic programming." ACM SIGART Bulletin, no. 106 (October 1988): 24–28. http://dx.doi.org/10.1145/54350.54352.
Full textLEUNG, HO-FUNG, and KEITH L. CLARK. "Constraint Satisfaction in Distributed Concurrent Logic Programming." Journal of Symbolic Computation 21, no. 4-6 (April 1996): 699–714. http://dx.doi.org/10.1006/jsco.1996.0037.
Full textAlpuente, María, Moreno Falaschi, and Giorgio Levi. "Incremental constraint satisfaction for equational logic programming." Theoretical Computer Science 142, no. 1 (May 1995): 27–57. http://dx.doi.org/10.1016/0304-3975(94)00224-7.
Full textHo Geun Lee, Ronald M. Lee, and Gang Yu. "Constraint logic programming for qualitative and quantitative constraint satisfaction problems." Decision Support Systems 16, no. 1 (January 1996): 67–83. http://dx.doi.org/10.1016/0167-9236(94)00057-3.
Full textZHANG, YUANLIN, and ROLAND H. C. YAP. "Solving functional constraints by variable substitution." Theory and Practice of Logic Programming 11, no. 2-3 (February 4, 2011): 297–322. http://dx.doi.org/10.1017/s1471068410000591.
Full textLigęza, Antoni. "Models and Tools for Improving Efficiency in Constraint Logic Programming." Decision Making in Manufacturing and Services 5, no. 1 (October 3, 2011): 69–78. http://dx.doi.org/10.7494/dmms.2011.5.1.69.
Full textPesant, G., C. Quimper, and A. Zanarini. "Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems." Journal of Artificial Intelligence Research 43 (February 26, 2012): 173–210. http://dx.doi.org/10.1613/jair.3463.
Full textZuenko, Alexander A., Olga V. Fridman, and Olga N. Zuenko. "An approach to finding a global optimum in constrained clustering tasks involving the assessments of several experts." Transaction Kola Science Centre 12, no. 5-2021 (December 27, 2021): 75–90. http://dx.doi.org/10.37614/2307-5252.2021.5.12.007.
Full textArangú, Marlene, and Miguel Salido. "A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems." International Journal of Applied Mathematics and Computer Science 21, no. 4 (December 1, 2011): 733–44. http://dx.doi.org/10.2478/v10006-011-0058-2.
Full textDRESCHER, CHRISTIAN, and TOBY WALSH. "A translational approach to constraint answer set solving." Theory and Practice of Logic Programming 10, no. 4-6 (July 2010): 465–80. http://dx.doi.org/10.1017/s1471068410000220.
Full textLEE, J. H. M., and V. W. L. TAM. "A FRAMEWORK FOR INTEGRATING ARTIFICIAL NEURAL NETWORKS AND LOGIC PROGRAMMING." International Journal on Artificial Intelligence Tools 04, no. 01n02 (June 1995): 3–32. http://dx.doi.org/10.1142/s0218213095000024.
Full textSitek, Paweł, and Jarosław Wikarek. "A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems." Scientific Programming 2016 (2016): 1–13. http://dx.doi.org/10.1155/2016/5102616.
Full textSoto, Ricardo, Broderick Crawford, Wenceslao Palma, Eric Monfroy, Rodrigo Olivares, Carlos Castro, and Fernando Paredes. "Top-kBased Adaptive Enumeration in Constraint Programming." Mathematical Problems in Engineering 2015 (2015): 1–12. http://dx.doi.org/10.1155/2015/580785.
Full textDIACONESCU, RĂZVAN. "Category-based constraint logic." Mathematical Structures in Computer Science 10, no. 3 (June 2000): 373–407. http://dx.doi.org/10.1017/s0960129599002960.
Full textKhorsandi, Armita, Bing-Yuan Cao, and Hadi Nasseri. "A New Method to Optimize the Satisfaction Level of the Decision Maker in Fuzzy Geometric Programming Problems." Mathematics 7, no. 5 (May 23, 2019): 464. http://dx.doi.org/10.3390/math7050464.
Full textLiu, Cheng, and Kun Kun Gu. "Location Problems of the Distribution Center under Uncertain Environment." Advanced Materials Research 171-172 (December 2010): 617–21. http://dx.doi.org/10.4028/www.scientific.net/amr.171-172.617.
Full textDE CAT, BROES, and MAURICE BRUYNOOGHE. "Detection and exploitation of functional dependencies for model generation." Theory and Practice of Logic Programming 13, no. 4-5 (July 2013): 471–85. http://dx.doi.org/10.1017/s147106841300029x.
Full textSTERGIOU, KOSTAS. "STRONG DOMAIN FILTERING CONSISTENCIES FOR NON-BINARY CONSTRAINT SATISFACTION PROBLEMS." International Journal on Artificial Intelligence Tools 17, no. 05 (October 2008): 781–802. http://dx.doi.org/10.1142/s0218213008004163.
Full textZein, S., P. Basso, and S. Grihon. "A constraint satisfaction programming approach for computing manufacturable stacking sequences." Computers & Structures 136 (May 2014): 56–63. http://dx.doi.org/10.1016/j.compstruc.2014.01.016.
Full textHwang, Jun-Ha. "An Integration of Local Search and Constraint Programming for Solving Constraint Satisfaction Optimization Problems." Journal of the Korea Society of Computer and Information 15, no. 5 (May 31, 2010): 39–47. http://dx.doi.org/10.9708/jksci.2010.15.5.039.
Full textRutishauser, Ueli, Jean-Jacques Slotine, and Rodney J. Douglas. "Solving Constraint-Satisfaction Problems with Distributed Neocortical-Like Neuronal Networks." Neural Computation 30, no. 5 (May 2018): 1359–93. http://dx.doi.org/10.1162/neco_a_01074.
Full textBerezhnov, D. E., and L. I. Minchenko. "Error Bound property in mathematical programming." Proceedings of the National Academy of Sciences of Belarus. Physics and Mathematics Series 55, no. 3 (October 7, 2019): 309–18. http://dx.doi.org/10.29235/1561-2430-2019-55-3-309-318.
Full textNair, Manjusha, Jinesh Manchan Kannimoola, Bharat Jayaraman, Bipin Nair, and Shyam Diwakar. "Temporal constrained objects for modelling neuronal dynamics." PeerJ Computer Science 4 (July 23, 2018): e159. http://dx.doi.org/10.7717/peerj-cs.159.
Full textMalapert, Arnaud, Jean-Charles Régin, and Mohamed Rezgui. "Embarrassingly Parallel Search in Constraint Programming." Journal of Artificial Intelligence Research 57 (November 20, 2016): 421–64. http://dx.doi.org/10.1613/jair.5247.
Full textMoummadi, Kamal, Rachida Abidar, and Hicham Medromi. "Distributed Resource Allocation." International Journal of Mobile Computing and Multimedia Communications 4, no. 2 (April 2012): 49–62. http://dx.doi.org/10.4018/jmcmc.2012040104.
Full textWilliams, H. P., and Hong Yan. "Representations of the all_different Predicate of Constraint Satisfaction in Integer Programming." INFORMS Journal on Computing 13, no. 2 (May 2001): 96–103. http://dx.doi.org/10.1287/ijoc.13.2.96.10515.
Full textGür, Şeyda, Tamer Eren, and Hacı Alakaş. "Surgical Operation Scheduling with Goal Programming and Constraint Programming: A Case Study." Mathematics 7, no. 3 (March 11, 2019): 251. http://dx.doi.org/10.3390/math7030251.
Full textMajor, François, Guy Lapalme, and Robert Cedergren. "Domain generating functions for solving constraint satisfaction problems." Journal of Functional Programming 1, no. 2 (April 1991): 213–27. http://dx.doi.org/10.1017/s0956796800020050.
Full textGuimarans, D., R. Herrero, J. J. Ramos, and S. Padrón. "Solving Vehicle Routing Problems Using Constraint Programming and Lagrangean Relaxation in a Metaheuristics Framework." International Journal of Information Systems and Supply Chain Management 4, no. 2 (April 2011): 61–81. http://dx.doi.org/10.4018/jisscm.2011040104.
Full textZuenko, Alexander, Yurii Oleynik, and Roman Makedonov. "A method for solving the open-pit mine production scheduling problem using the constraint programming paradigm." Journal of Physics: Conference Series 2060, no. 1 (October 1, 2021): 012021. http://dx.doi.org/10.1088/1742-6596/2060/1/012021.
Full textFinkel, Raphael, and Barry O'Sullivan. "Reasoning about conditional constraint specification problems and feature models." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25, no. 2 (April 20, 2011): 163–74. http://dx.doi.org/10.1017/s0890060410000600.
Full textLi, Chendong. "Towards Interesting Patterns of Hard CSPs with Functional Constraints." Proceedings of the AAAI Conference on Artificial Intelligence 24, no. 1 (July 5, 2010): 1941–42. http://dx.doi.org/10.1609/aaai.v24i1.7782.
Full textZuenko, A. A. "Compact representation of constraints based on a new interpretation of the concept "tuple of a multi-place relation"." Ontology of designing 10, no. 4 (December 30, 2020): 503–15. http://dx.doi.org/10.18287/2223-9537-2020-10-4-503-515.
Full textYvars, Pierre-Alain, and Laurent Zimmer. "System Sizing with a Model-Based Approach: Application to the Optimization of a Power Transmission System." Mathematical Problems in Engineering 2018 (July 26, 2018): 1–14. http://dx.doi.org/10.1155/2018/6861429.
Full textHwang, Jun-Ha, and Sung-Young Kim. "Integer Programming-based Local Search Technique for Linear Constraint Satisfaction Optimization Problem." Journal of the Korea Society of Computer and Information 15, no. 9 (September 30, 2010): 47–55. http://dx.doi.org/10.9708/jksci.2010.15.9.047.
Full textRelich, Marcin. "An evaluation of project completion with application of fuzzy set theory." Management 16, no. 1 (May 1, 2012): 216–29. http://dx.doi.org/10.2478/v10286-012-0016-6.
Full textVU, XUAN-HA, and BARRY O'SULLIVAN. "A UNIFYING FRAMEWORK FOR GENERALIZED CONSTRAINT ACQUISITION." International Journal on Artificial Intelligence Tools 17, no. 05 (October 2008): 803–33. http://dx.doi.org/10.1142/s0218213008004175.
Full textCliment, L., R. J. Wallace, M. A. Salido, and F. Barber. "Robustness and Stability in Constraint Programming under Dynamism and Uncertainty." Journal of Artificial Intelligence Research 49 (January 28, 2014): 49–78. http://dx.doi.org/10.1613/jair.4126.
Full textBoukadida, Haykel, Sid-Ahmed Berrani, and Patrick Gros. "Automatically Creating Adaptive Video Summaries Using Constraint Satisfaction Programming: Application to Sport Content." IEEE Transactions on Circuits and Systems for Video Technology 27, no. 4 (April 2017): 920–34. http://dx.doi.org/10.1109/tcsvt.2015.2513678.
Full textNakano, Takahiro, and Masahiro Nagamatu. "Lagrange programming neural network for solving constraint satisfaction problem and its extended problem." International Congress Series 1291 (June 2006): 193–96. http://dx.doi.org/10.1016/j.ics.2006.01.037.
Full textAMADINI, ROBERTO, MAURIZIO GABBRIELLI, and JACOPO MAURO. "SUNNY: a Lazy Portfolio Approach for Constraint Solving." Theory and Practice of Logic Programming 14, no. 4-5 (July 2014): 509–24. http://dx.doi.org/10.1017/s1471068414000179.
Full textLAI, LIEN F., CHAO-CHIN WU, NIEN-LIN HSUEH, LIANG-TSUNG HUANG, and SHIOW-FEN HWANG. "AN ARTIFICIAL INTELLIGENCE APPROACH TO COURSE TIMETABLING." International Journal on Artificial Intelligence Tools 17, no. 01 (February 2008): 223–40. http://dx.doi.org/10.1142/s0218213008003868.
Full textGholamnejad, Javad, Ali Azimi, Reza Lotfian, Sara Kasmaeeyazdi, and Francesco Tinti. "THE APPLICATION OF A STOCKPILE STOCHASTIC MODEL INTO LONG-TERM OPEN PIT MINE PRODUCTION SCHEDULING TO IMPROVE THE FEED GRADE FOR THE PROCESSING PLANT." Rudarsko-geološko-naftni zbornik 35, no. 4 (2020): 115–29. http://dx.doi.org/10.17794/rgn.2020.4.10.
Full textRADZKI, Grzegorz, Amila THIBBOTUWAWA, and Grzegorz BOCEWICZ. "UAVS FLIGHT ROUTES OPTIMIZATION IN CHANGING WEATHER CONDITIONS – CONSTRAINT PROGRAMMING APPROACH." Applied Computer Science 15, no. 3 (September 30, 2019): 5–20. http://dx.doi.org/10.35784/acs-2019-17.
Full textJeavons, P., and J. Petke. "Local Consistency and SAT-Solvers." Journal of Artificial Intelligence Research 43 (March 19, 2012): 329–51. http://dx.doi.org/10.1613/jair.3531.
Full textPothitos, Nikolaos, and Panagiotis Stamatopoulos. "Building Search Methods with Self-Confidence in a Constraint Programming Library." International Journal on Artificial Intelligence Tools 27, no. 04 (June 2018): 1860003. http://dx.doi.org/10.1142/s0218213018600035.
Full text