Academic literature on the topic 'Distributed contraint solving'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Distributed contraint solving.'
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.
Journal articles on the topic "Distributed contraint solving"
SO, YOUNG-PA, and EDMUND H. DURFEE. "A DISTRIBUTED PROBLEM-SOLVING INFRASTRUCTURE FOR COMPUTER NETWORK MANAGEMENT." International Journal of Cooperative Information Systems 01, no. 02 (June 1992): 363–92. http://dx.doi.org/10.1142/s0218215792000246.
Full textEt al., *Wan Nur Izzah Wan Muhamad Fokri. "THE UNCLAIMED INHERITANCE ISSUES: A SOLUTION USING BLOCKCHAIN TECHNOLOGY." Psychology and Education Journal 58, no. 1 (January 15, 2021): 4709–17. http://dx.doi.org/10.17762/pae.v58i1.1630.
Full textSHEKHAR, SHASHI, and C. V. RAMAMOORTHY. "COOP: A SELF-ASSESSMENT BASED APPROACH TO COOPERATING EXPERT SYSTEMS." International Journal on Artificial Intelligence Tools 01, no. 02 (June 1992): 175–204. http://dx.doi.org/10.1142/s0218213092000181.
Full textNanayakkara, Samudaya, Srinath Perera, Sepani Senaratne, Geeganage Thilini Weerasuriya, and Herath Mudiyanselage Nelanga Dilum Bandara. "Blockchain and Smart Contracts: A Solution for Payment Issues in Construction Supply Chains." Informatics 8, no. 2 (May 27, 2021): 36. http://dx.doi.org/10.3390/informatics8020036.
Full textHongmei, Zhao. "A Cross-Border E-Commerce Approach Based on Blockchain Technology." Mobile Information Systems 2021 (July 15, 2021): 1–10. http://dx.doi.org/10.1155/2021/2006082.
Full textRauzana, Anita, Muhammad Hafidz Akbar, and Wira Dharma. "The influence of project manager competencies on the success of construction projects: A case of Indonesia." Problems and Perspectives in Management 20, no. 4 (October 18, 2022): 67–75. http://dx.doi.org/10.21511/ppm.20(4).2022.06.
Full textGuan, Yurong, Muhammad Aamir, Zaheer Ahmed Dayo, Ziaur Rahman, Waheed Ahmed Abro, Irfan Ali, and Zhihua Hu. "A Coordinated Optimization Model of the Complex System of the Green Supply Chain Distribution Network." Discrete Dynamics in Nature and Society 2021 (August 12, 2021): 1–12. http://dx.doi.org/10.1155/2021/4077151.
Full textGatitu, J. N., C. K. Kabubo, and P. Ajwang. "Approaches on Mitigating Variation Orders in Road Construction Industry in Kenya: The Case of Kenya National Highways Authority (KeNHA)." Engineering, Technology & Applied Science Research 10, no. 5 (October 26, 2020): 6195–99. http://dx.doi.org/10.48084/etasr.3737.
Full textЗавгородній, В. А. "Theoretical Tools for Studying the Phenomenon of the Influence of the European Court of Human Rights Practice on Legal Activities in Ukraine." Науково-теоретичний журнал «Вісник Луганського державного університету внутрішніх справ імені Е.О. Дідоренка» 1, no. 85 (March 28, 2019): 20–30. http://dx.doi.org/10.33766/2524-0323.85.20-30.
Full text"Modeling And Optimization Of The Construction Organization's Production Program." Promyshlennoe i Grazhdanskoe Stroitel'stvo, no. 6 (June 2020): 49–56. http://dx.doi.org/10.33622/0869-7019.2020.06.49-56.
Full textDissertations / Theses on the topic "Distributed contraint solving"
Fu, Ser-Geon. "Genetic and evolionary protocols for solving distributed asymmetric contraint satisfaction problems." Auburn, Ala., 2007. http://repo.lib.auburn.edu/07M%20Dissertations/FU_SER-GEON_10.pdf.
Full textZhou, Lingzhong, and n/a. "Agent Ordering and Nogood Repairs in Distributed Constraint Solving." Griffith University. School of Information and Communication Technology, 2006. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20070713.162515.
Full textZhou, Lingzhong. "Agent Ordering and Nogood Repairs in Distributed Constraint Solving." Thesis, Griffith University, 2006. http://hdl.handle.net/10072/365303.
Full textThesis (PhD Doctorate)
Doctor of Philosophy (PhD)
School of Information and Communication Technology
Full Text
Hoessen, Benoît. "Solving the Boolean satisfiability problem using the parallel paradigm." Thesis, Artois, 2014. http://www.theses.fr/2014ARTO0406/document.
Full textThis thesis presents different technique to solve the Boolean satisfiability problem using parallel and distributed architectures. In order to provide a complete explanation, a careful presentation of the CDCL algorithm is made, followed by the state of the art in this domain. Once presented, two propositions are made. The first one is an improvement on a portfolio algorithm, allowing to exchange more data without loosing efficiency. The second is a complete library with its API allowing to easily create distributed SAT solver
Benharrat, Nassim. "Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLC021/document.
Full textModel-based testing of reactive systems is the process of checking if a System Under Test (SUT) conforms to its model. It consists of handling both test data generation and verdict computation by using models. We specify the behaviour of reactive systems using Timed Input Output Symbolic Transition Systems (TIOSTS) that are timed automata enriched with symbolic mechanisms to handle data. When TIOSTSs are used to test systems with a centralized interface, the user may completely order events occurring at this interface (i.e., inputs sent to the system and outputs produced from it). Interactions between the tester and the SUT are sequences of inputs and outputs named traces, separated by delays in the timed framework, to form so-called timed traces. Distributed systems are collections of communicating local components which interact with their environment at physically distributed interfaces. Interacting with such a distributed system requires exchanging values with it by means of several interfaces in the same testing process. Different events occurring at different interfaces cannot be ordered any more. This thesis focuses on conformance testing for distributed systems where a separate tester is placed at each localized interface and may only observe what happens at this interface. We assume that there is no global clock but only local clocks for each localized interface. The semantics of such systems can be seen as tuples of timed traces. We consider a framework for distributed testing from TIOSTS along with corresponding test hypotheses and a distributed conformance relation called dtioco. Global conformance can be tested in a distributed testing architecture using only local testers without any communication between them. We propose an algorithm to check communication policy for a tuple of timed traces by formulating the verification of message passing in terms of Constraint Satisfaction Problem (CSP). Hence, we were able to implement the computation of test verdicts by orchestrating both localised off-line testing algorithms and the verification of constraints defined by message passing that can be supported by a constraint solver. Lastly, we validated our approach on a real case study of a telecommunications distributed system
Book chapters on the topic "Distributed contraint solving"
Cammarata, Stephanie, David McArthur, and Randall Steeb. "STRATEGIES OF COOPERATION IN DISTRIBUTED PROBLEM SOLVING††The work reported here was supported by Contract MDA903-82-C-0061 from the Information Processing Technology Office of the Defense Advanced Projects Agency (DOD)." In Readings in Distributed Artificial Intelligence, 102–5. Elsevier, 1988. http://dx.doi.org/10.1016/b978-0-934613-63-7.50012-7.
Full textConference papers on the topic "Distributed contraint solving"
Alexandridis, Paschalis, Dengpan Dong, Dmitry Bedrov, Marina Tsianou, and Samhitha Kancharla. "Surfactant micelle structure and composition." In 2022 AOCS Annual Meeting & Expo. American Oil Chemists' Society (AOCS), 2022. http://dx.doi.org/10.21748/hwzn7583.
Full textPanchal, Jitesh H., Marco Gero Ferna´ndez, Janet K. Allen, Christiaan J. J. Paredis, and Farrokh Mistree. "An Interval-Based Focalization Method for Decision-Making in Decentralized, Multi-Functional Design." In ASME 2005 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2005. http://dx.doi.org/10.1115/detc2005-85322.
Full text