Filters








49,595 Hits in 4.3 sec

SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators

Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska
2016 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
Using our proposal, non-specialists can specify new reasoning methods (propagators) in a declarative fashion and obtain a solver that benefits from both state-of-the-art techniques implemented in SAT solvers  ...  We call our proposed language P[R] and our solver SAT-to-SAT because it facilitates communication between several SAT solvers.  ...  Thus, in such cases, calling solver S 1 is futile because all nodes are reachable.  ... 
doi:10.1609/aaai.v30i1.10111 fatcat:jpaflqmxbrckzllfkdrml2rsye

Global difference constraint propagation for finite domain solvers

Thibaut Feydy, Andreas Schutt, Peter J. Stuckey
2008 Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08  
SAT modulo theory solvers have included theory solvers for difference constraints for some time.  ...  Difference constraints of the form x − y ≤ d are well studied, with efficient algorithms for satisfaction and implication, because of their connection to shortest paths.  ...  In this paper we study how we should propagate constraints of the form x − y ≤ d.  ... 
doi:10.1145/1389449.1389478 dblp:conf/ppdp/FeydySS08 fatcat:wduj6opazfdg7gbh4mmv73j2re

Case Study Approach [chapter]

Sanya Carley, Sara Lawrence
2014 Energy-Based Economic Development  
The United Nations has declared the period 2005-2014 as the 'Decade for the Education of Sustainable Development' 9 .  ...  Thus I posit that a case study approach with a discourse analysis is more suitable for this thesis.  ... 
doi:10.1007/978-1-4471-6341-1_6 fatcat:dlinc3qpl5gyheiqvznsgg52uy

Cardinal Maturity Determination of Technology Development: Medical Device Development Case Study

S. R. Mishra, K. Behdinan
2022 Proceedings of the Design Society  
AbstractA novel application of Best Worst Method (BWM) enables one to incorporate the complexity of specific sub-criteria of technological development to assess its maturity with the pre-established Technology  ...  The declaration of conformity released by each developer was also recorded.  ...  These studies are limited to a generalized approach and are relevant to traditional production teams for typical usage case MDD.  ... 
doi:10.1017/pds.2022.133 fatcat:i2kgyrr6zvenjllb7m6z6pjtte

Developing Problem-Solving Skills With Case Study In A Conceptual Management Course

Wei He
2015 Journal of Business Case Studies (JBCS)  
Drawing on the pedagogies of problem-based learning and case teaching, this paper presents a problem-solving approach of case study and applies it to a set of 14 Harvard Business Review cases to develop  ...  of a problem-solving case study session, illustrates an exemplary case study out of the 14 cases, and discusses the effectiveness and implications of the problem-solving pedagogy.  ...  by Lawler (2008) as an example of case study to demonstrate how the problem-solving case study approach is used in the author's Organizational Behavior class to help students develop their problem-solving  ... 
doi:10.19030/jbcs.v11i2.9177 fatcat:7ndu7glznvdlpdvvwabpr55fkq

How developers search for code: a case study

Caitlin Sadowski, Kathryn T. Stolee, Sebastian Elbaum
2015 Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015  
In this work we shed some light into how developers search for code through a case study performed at Google, using a combination of survey and log-analysis methodologies.  ...  Our study provides insights into what developers are doing and trying to learn when performing a search, search scope, query properties, and what a search session under different contexts usually entails  ...  Just as in the case of what the developer is doing, there seems to be a clear relationship between the scope of the search and what the developer is trying to learn.  ... 
doi:10.1145/2786805.2786855 dblp:conf/sigsoft/SadowskiSE15 fatcat:zrh4c7gryrgsdby57rzcedlrja

Solving Modular Model Expansion: Case Studies [chapter]

Shahab Tasharrofi, Xiongnan Wu, Eugenia Ternovska
2013 Lecture Notes in Computer Science  
We demonstrate, through several case studies, that our algorithm closely corresponds to what is done in practice in different areas such as Satisfiability Modulo Theories (SMT), Integer Linear Programming  ...  We make our framework language-independent through a model-theoretic development.  ...  We performed several case studies of our algorithm in relation to existing systems such as DPLL(T), ILP, ASP-CP.  ... 
doi:10.1007/978-3-642-41524-1_12 fatcat:h5u5o5vvkvdivfxsvs4ec3r3rm

Developing a Model for the University Course Timetabling Problem: A Case Study

Mozhgan Mokhtari, Majid Vaziri Sarashk, Milad Asadpour, Nadia Saeidi, Omid Boyer, Baogui Xin
2021 Complexity  
In this research, a multiobjective mixed-integer programming model was developed to provide a timetable for the postgraduate courses at the Industrial Engineering Department of Islamic Azad University,  ...  To convert the multiobjective model into a single one, the ε-constraint method was adopted, and the model's accuracy and feasibility were examined through a real example solved by the CPLEX solver of GAMS  ...  Section 4 will discuss how the model is validated and solved for the random numbers and the case study, followed by an analysis of the results.  ... 
doi:10.1155/2021/9940866 fatcat:blzxl6mdfbbzthprquyvinvw4q

Youth Organizations' Promotion of Education for Sustainable Development Competencies: A Case Study

Thi Kinh Kieu, Jane Singer
2020 European Journal of Sustainable Development  
a systematic action plan, and creating a communication network to promote students' active efforts towards sustainability Keywords: youth, sustainability-linked activities, education for sustainable development  ...  Acknowledgement We thank Ministry of Education and Training of Vietnam (MOET) for the generous grant that made it possible for the first author to conduct research at the case study.  ...  Environmental youth groups in Vietnam In order to learn more about youth participation in sustainability and their leadership competencies, the author conducted a case study at The University of Danang  ... 
doi:10.14207/ejsd.2020.v9n4p376 fatcat:qphjsu5z4vfxpioo2l5pq6d7di

Impact of HPC and Automated CFD Simulation Processes on Virtual Product Development—A Case Study

Christopher Lange, Patrick Barthelmäs, Tobias Rosnitschek, Stephan Tremmel, Frank Rieg
2021 Applied Sciences  
However, no studies have quantified these effects from a product development point of view yet.  ...  This article evaluates the impact of HPC and automation on product development by studying a formula student racing team as a representative example of a small or medium-sized company.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/app11146552 fatcat:2ejg53iwrvhclmt5claruaus6m

Coupling a weather model directly to GNSS orbit determination – case studies with OpenIFS

Angel Navarro Trastoy, Sebastian Strasser, Lauri Tuppi, Maksym Vasiuta, Markku Poutanen, Torsten Mayer-Gürr, Heikki Järvinen
2022 Geoscientific Model Development  
Here we show that such a close coupling is possible without need for major additional modifications in the solver codes.  ...  In this study, a global numerical weather prediction model (Open Integrated Forecasting System (OpenIFS) licensed for Academic use by the European Centre for Medium-Range Weather Forecast) is used to generate  ...  The contact author has declared that neither they nor their co-authors have any competing interests. Disclaimer.  ... 
doi:10.5194/gmd-15-2763-2022 fatcat:3iye7ozs2ragpgank7rfdt4rem

Open Source Languages and Methods for Cyber-Physical System Development: Overview and Case Studies

Lena Buffoni, Lennart Ochel, Adrian Pop, Peter Fritzson, Niklas Fors, Görel Hedin, Walid Taha, Martin Sjölund
2021 Electronics  
To effectively support the development of such systems, we present languages and tools for comprehensive integrated model-based development that cover major phases such as requirement analysis, design,  ...  Conflicts of Interest: The authors declare no conflict of interest.  ...  The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.  ... 
doi:10.3390/electronics10080902 fatcat:ft7rdceaw5brbjxnvjojft6ope

Integrating tabu search and VLSN search to develop enhanced algorithms: A case study using bipartite boolean quadratic programs [article]

Fred Glover and Tao Ye and Abraham P. Punnen and Gary Kochenberger
2013 arXiv   pre-print
In this paper, we develop efficient heuristic algorithms based on tabu search, very large scale neighborhood (VLSN) search, and a hybrid algorithm that integrates the two.  ...  The bipartite boolean quadratic programming problem (BBQP) is a generalization of the well studied boolean quadratic programming problem.  ...  This paper focuses on developing efficient heuristic algorithms for solving BBQP.  ... 
arXiv:1305.5610v1 fatcat:lygu7g3u4vhr3haq3pnmtlmwsq

Analysis of student performances in online and face-to-face learning: A case study from a Bosnian public university

Sarah Sarac, Benjamin Durakovic
2022 Heritage and Sustainable Development, ISSN 2712-0554  
This study investigates and compares the student performances after transition from face-to-face learning environment to online learning environments as a result of the spread of the pandemic.  ...  In this study student success is defined as passing the course. The results showed that there is significant difference in the performances of students, and it is dependent on learning environment.  ...  This was discovered during comparative study case in China [15] .  ... 
doi:10.37868/hsd.v4i2.91 fatcat:eoekjqofirbdpho7q3zfhxge5e

Developing a Low-Cost Safety Improvement Program for Intersections in an Urban Roadway Network: A Case Study

Promothes Saha, Chang-Mo Kim
2022 Advances in Civil Engineering  
In this study, a safety improvement program was developed for intersections and implemented in the city of Fort Wayne, Indiana, as a case study.  ...  Intersections included in the safety improvement program were selected using the following criteria and constraints: averaging more than 3 crashes per year during the study period, crash rate, and fatal  ...  Once the solver found a maximally effective solution, the program developed was as follows in Table 4 .  ... 
doi:10.1155/2022/5713435 fatcat:xddvpmuu6jevdnaz54biwjrd7u
« Previous Showing results 1 — 15 out of 49,595 results