Relevant bibliographies by topics / Problem Solver

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Problem Solver'

Author: Grafiati
Published: 4 June 2021
Last updated: 19 February 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Problem Solver.'

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 "Problem Solver"

1

Gogodze, Joseph. "Ranking Methods for Multicriteria Decision-Making: Application to Benchmarking of Solvers and Problems." Scientific Programming 2021 (July 11, 2021): 1–14. http://dx.doi.org/10.1155/2021/5513860.

Full text
Abstract:
Evaluating the performance assessments of solvers (e.g., for computation programs), known as the solver benchmarking problem, has become a topic of intense study, and various approaches have been discussed in the literature. Such a variety of approaches exist because a benchmark problem is essentially a multicriteria problem. In particular, the appropriate multicriteria decision-making problem can correspond naturally to each benchmark problem and vice versa. In this study, to solve the solver benchmarking problem, we apply the ranking-theory method recently proposed for solving multicriteria
APA, Harvard, Vancouver, ISO, and other styles
2

Joseph, Ron. "Painting problem solver." Metal Finishing 106, no. 9 (September 2008): 56–57. http://dx.doi.org/10.1016/s0026-0576(08)80289-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Joseph, Ron. "Painting problem solver." Metal Finishing 107, no. 1 (January 2009): 47. http://dx.doi.org/10.1016/s0026-0576(09)80010-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Joseph, Ron. "Painting problem solver." Metal Finishing 107, no. 3 (March 2009): 44–45. http://dx.doi.org/10.1016/s0026-0576(09)80051-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Joseph, Ron. "Painting problem solver." Metal Finishing 107, no. 4 (January 2009): 62. http://dx.doi.org/10.1016/s0026-0576(09)80078-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Joseph, Ron. "Painting problem solver." Metal Finishing 107, no. 7-8 (July 2009): 47. http://dx.doi.org/10.1016/s0026-0576(09)80206-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Joseph, Ron. "Painting problem solver." Metal Finishing 107, no. 9 (September 2009): 51–52. http://dx.doi.org/10.1016/s0026-0576(09)80234-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Joseph, Ron. "Painting problem solver." Metal Finishing 107, no. 10 (October 2009): 45. http://dx.doi.org/10.1016/s0026-0576(09)80256-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Joseph, Ron. "Painting problem solver." Metal Finishing 107, no. 6 (June 2009): 60–62. http://dx.doi.org/10.1016/s0026-0576(09)80298-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Joseph, Ron. "Painting problem solver." Metal Finishing 107, no. 11 (November 2009): 34. http://dx.doi.org/10.1016/s0026-0576(09)80375-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Problem Solver"

1

Hoessen, Benoît. "Solving the Boolean satisfiability problem using the parallel paradigm." Thesis, Artois, 2014. http://www.theses.fr/2014ARTO0406/document.

Full text
Abstract:
Cette thèse présente différentes techniques permettant de résoudre le problème de satisfaction de formule booléenes utilisant le parallélisme et du calcul distribué. Dans le but de fournir une explication la plus complète possible, une présentation détaillée de l'algorithme CDCL est effectuée, suivi d'un état de l'art. De ce point de départ, deux pistes sont explorées. La première est une amélioration d'un algorithme de type portfolio, permettant d'échanger plus d'informations sans perte d'efficacité. La seconde est une bibliothèque de fonctions avec son interface de programmation permettant d
APA, Harvard, Vancouver, ISO, and other styles
2

Danieli, Adrian B. (Adrian Brian) 1975. "A Tsume-Go life & death problem solver." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/50434.

Full text
Abstract:
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.<br>Includes bibliographical references (p. 61-62).<br>by Adrian B. Danieli.<br>S.B.and M.Eng.
APA, Harvard, Vancouver, ISO, and other styles
3

Geary, John Michael. "Social work skills : roles of the problem solver /." The Ohio State University, 1989. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487598303841346.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lampl, Damian. "Smart Grid Optimization Using a Capacitated Transshipment Problem Solver." Thesis, North Dakota State University, 2013. https://hdl.handle.net/10365/27120.

Full text
Abstract:
A network flow model known as the capacitated transshipment problem, or CTP, can represent key aspects of a smart grid test network with the goal of finding minimum cost electric power flows using multiple different cost performance metrics. A custom CTP Solver was developed and implemented as an ASP.NET web application in an effort to study these various minimum cost smart grid problems and provide their optimal solutions. The CTP Solver modifies traditional linear programming concepts by introducing object oriented software development practices, as well as an insightful innovation for handl
APA, Harvard, Vancouver, ISO, and other styles
5

Ahmadi, Ehsan. "SOLVING INCREMENTAL SPECIFICATIONS USING Z3 SMT SOLVER." OpenSIUC, 2016. https://opensiuc.lib.siu.edu/theses/2036.

Full text
Abstract:
Many problems in nature can be represented as some kind of a satisfiability problem. Several SAT solvers and SMT solvers have been developed in the last decade with the goal of checking the satisfiability of different SAT problems. An all-solution satisfiability modulo theories on top of the Z3 SMT solver is presented that uses the clause blocking algorithm to find all the solution sets of a SAT problem. Then, an incremental All-SMT solver has been presented based on the all-SMT solver which is able to find the satisfiable answers of an incremental SMT problem based on the solution set of the
APA, Harvard, Vancouver, ISO, and other styles
6

Bain, Stuart, and n/a. "Evolving Algorithms for Over-Constrained and Satisfaction Problems." Griffith University. School of Information and Communication Technology, 2007. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20071126.080227.

Full text
Abstract:
The notion that a universally effective problem solver may still exist, and is simply waiting to be found, is slowly being abandoned in the light of a growing body of work reporting on the narrow applicability of individual heuristics. As the formalism of the constraint satisfaction problem remains a popular choice for the representation of problems to be solved algorithmically, there exists an ongoing need for new algorithms to effciently handle the disparate range of problems that have been posed in this representation. Given the costs associated with manually applying human algorithm develo
APA, Harvard, Vancouver, ISO, and other styles
7

Bain, Stuart. "Evolving Algorithms for Over-Constrained and Satisfaction Problems." Thesis, Griffith University, 2007. http://hdl.handle.net/10072/365848.

Full text
Abstract:
The notion that a universally effective problem solver may still exist, and is simply waiting to be found, is slowly being abandoned in the light of a growing body of work reporting on the narrow applicability of individual heuristics. As the formalism of the constraint satisfaction problem remains a popular choice for the representation of problems to be solved algorithmically, there exists an ongoing need for new algorithms to effciently handle the disparate range of problems that have been posed in this representation. Given the costs associated with manually applying human algorithm develo
APA, Harvard, Vancouver, ISO, and other styles
8

Li, Changqing. "Wave Diffraction and Refraction Problem and a Block-Wise Band Matrix Solver." W&M ScholarWorks, 1995. https://scholarworks.wm.edu/etd/1539617698.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Molari, Luca. "Algoritmi di ottimizzazione per il bus touring problem." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/9275/.

Full text
Abstract:
Nel campo della Ricerca Operativa e dei problemi di ottimizzazione viene presentato un problema, denominato Bus Touring Problem (BTP), che modella una problematica riguardante il carico e l’instradamento di veicoli nella presenza di di vincoli temporali e topologici sui percorsi. Nel BTP, ci si pone il problema di stabilire una serie di rotte per la visita di punti di interesse dislocati geograficamente da parte di un insieme di comitive turistiche, ciascuna delle quali stabilisce preferenze riguardo le visite. Per gli spostamenti sono disponibili un numero limitato di mezzi di trasporto, i
APA, Harvard, Vancouver, ISO, and other styles
10

Thi, Thanh Truc Vu. "Testing and optimization of Unicorn Fluid-Structure Interaction solver for simulating an industrial problem." Thesis, KTH, Numerisk analys, NA, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-139104.

Full text
Abstract:
In industry applications, such as power supply plants, the issue of interaction between fluid and structure is always presented. More precisely, the fluid flow affects the structure by applying force(s) on it and vice versa. As a result, the structure can move (vibrate) or deform. A good understanding of this problem can help to design the system in term of safety, stability and efficiency. This project aims to optimize and test the Unicorn FSI solver from the FEniCS project [1] to simulate the interaction of fluid and structure in an experiment, which was carried out at Vattenfall Research an
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Problem Solver"

1

Ward, Rosemary. Garden problem solver. London: Mitchell Beazley, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Greene, Harry. DIY problem solver. London: Pan Books, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

John, Edwards. Sprint problem solver. Glenview, Ill: Scott, Foresman, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Barden, William T. DOS problem solver. Glenview, Ill: Scott, Foresman, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Garden problem solver. London: Dorling Kindersley, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Jourdain, Robert. Programmer's problem solver. 2nd ed. New York: Brady Pub., 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Eichlin, Cathy. Ventura problem solver. Glenview, Ill: Scott, Foresman, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Spanish problem solver. New York: McGraw-Hill, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Blodgett, Ralph H. WordPerfect problem solver. Glenview, Ill: Scott, Foresman, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

The knitting problem-solver. Pownal, Vt: Storey Communications, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Problem Solver"

1

Hmer, Ali, and Malek Mouhoub. "Teaching Assignment Problem Solver." In Trends in Applied Intelligent Systems, 298–307. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-13025-0_32.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Ma, Wei-Chiu, Shenlong Wang, Jiayuan Gu, Sivabalan Manivasagam, Antonio Torralba, and Raquel Urtasun. "Deep Feedback Inverse Problem Solver." In Computer Vision – ECCV 2020, 229–46. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-58558-7_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Nikolić, Gordana, Dario Zorić, Alan Martinović, and David Dubrović. "The PAR Logistics Solver Problem." In Computer Communications and Networks, 271–74. London: Springer London, 2010. http://dx.doi.org/10.1007/978-1-84996-510-1_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Dressler, Oskar, and Adam Farquhar. "Problem Solver Control Over the ATMS." In GWAI-89 13th German Workshop on Artificial Intelligence, 17–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/978-3-642-75100-4_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Clarke, Sue. "The Illustrator as Visual Problem Solver." In A Companion to Illustration, 199–228. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2019. http://dx.doi.org/10.1002/9781119185574.ch9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Garrette, Bernard, Corey Phelps, and Olivier Sibony. "Conclusion: Becoming a Master Problem-Solver." In Cracked it!, 271–74. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-89375-4_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Minton, Steven. "Overview of the PRODIGY Problem Solver." In The Kluwer International Series in Engineering and Computer Science, 27–50. Boston, MA: Springer US, 1988. http://dx.doi.org/10.1007/978-1-4613-1703-6_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Basdevant, Jean-Louis, and Jean Dalibard. "The EPR Problem and Bell’s Inequality." In The Quantum Mechanics Solver, 89–99. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-13724-3_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Basdevant, Jean-Louis, and Jean Dalibard. "Exact Results for the Three-Body Problem." In The Quantum Mechanics Solver, 213–21. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-13724-3_21.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Tomlinson, Tom. "Ethics Consultant: Problem Solver or Spiritual Counselor?" In Performance, Talk, Reflection, 43–52. Dordrecht: Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-017-2556-9_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Problem Solver"

1

Lu, Ying, Jedediyah Williams, Jeff Trinkle, and Claude Lacoursière. "A Framework for Problem Standardization and Algorithm Comparison in Multibody System." In ASME 2014 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/detc2014-35041.

Full text
Abstract:
The underlying dynamic model of multibody systems takes the form of a differential Complementarity Problem (dCP), which is nonsmooth and thus challenging to integrate. The dCP is typically solved by discretizing it in time, thus converting the simulation problem into the problem of solving a sequence of complementarity problems (CPs). Because the CPs are difficult to solve, many modelling options that affect the dCPs and CPs have been tested, and some reformulation and relaxation options affecting the properties of the CPs and solvers have been studied in the hopes to find the “best” simulatio
APA, Harvard, Vancouver, ISO, and other styles
2

Alimi, M. H., M. Mahinfalah, and G. H. Nazari. "MATLAB in Engineering Education." In ASME 2001 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2001. http://dx.doi.org/10.1115/detc2001/cie-21277.

Full text
Abstract:
Abstract One of the most important aspects of engineering education is problem solving. This paper intends to show how MATLAB can be utilized to solve various problems in science and engineering. A simple vibration problem is solved using MATLAB’s ODE solver to illustrate the excellent capability of MATLAB in numerical integration of matrix differential equations.
APA, Harvard, Vancouver, ISO, and other styles
3

Jian, Kuo-Di, and Kendall E. Nygard. "Problem solver for distributed software agent." In SPIE's International Symposium on Optical Science, Engineering, and Instrumentation, edited by Khan M. Iftekharuddin and Abdul Ahad S. Awwal. SPIE, 1999. http://dx.doi.org/10.1117/12.363993.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bondarev, Aleksandr, and Artem Kuvshinnikov. "Analysis of the behavior of OpenFOAM solvers for 3D problem of supersonic flow around a cone at an angle of attack." In International Conference "Computing for Physics and Technology - CPT2020". Bryansk State Technical University, 2020. http://dx.doi.org/10.30987/conferencearticle_5fce2771320ef0.90086903.

Full text
Abstract:
This paper is devoted to comparative analysis of numerical methods accuracy. Comparative estimation of accuracy is performed for numerical methods presented as solvers integrated to open sotware package OpenFOAM. Three different OpenFOAM solvers are selected to numerically solve the problem of supersonic flow around a cone. The angle of attack, cone half-angle and Mach number were varied in the selected ranges with a certain step. This approach is implemented using a generalized computational experiment that allows, based on parallel technologies, the simultaneous solution of the same basic pr
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
Abstract:
Constraint optimization problems (COP) on finite domains are typically solved via search. Many problems (e.g., 0-1 knapsack) involve redundant search, making a general constraint solver revisit the same subproblems again and again. Existing approaches use caching, symmetry breaking, subproblem dominance, or search with decomposition to prune the search space of constraint problems. In this paper we present a different approach--DPSolver--which uses dynamic programming (DP) to efficiently solve certain types of constraint optimization problems (COPs). Given a COP modeled with MiniZinc, DPSolver
APA, Harvard, Vancouver, ISO, and other styles
6

Boukhari, Samah, Isma Dahmani, and Mhand Hifi. "Local Branching Strategy-Based Method for the Knapsack Problem with Setup." In 4th International Conference on Computer Science and Information Technology (COMIT 2020). AIRCC Publishing Corporation, 2020. http://dx.doi.org/10.5121/csit.2020.101606.

Full text
Abstract:
In this paper, we propose to solve the knapsack problem with setups by combining mixed linear relaxation and local branching. The problem with setups can be seen as a generalization of 0–1 knapsack problem, where items belong to disjoint classes (or families) and can be selected only if the corresponding class is activated. The selection of a class involves setup costs and resource consumptions thus affecting both the objective function and the capacity constraint. The mixed linear relaxation can be viewed as driving problem, where it is solved by using a special blackbox solver while the loca
APA, Harvard, Vancouver, ISO, and other styles
7

Afaq, Muhammad Aaqib, Stefan Turek, Abderrahim Ouazzi, and Arooj Fatima. "Monolithic Newton-Multigrid Solver for Multiphase Flow Problems with Surface Tension." In VI ECCOMAS Young Investigators Conference. València: Editorial Universitat Politècnica de València, 2021. http://dx.doi.org/10.4995/yic2021.2021.12390.

Full text
Abstract:
We have developed a monolithic Newton-multigrid solver for multiphase flow problems which solves velocity, pressure and interface position simultaneously. The main idea of our work is based on the formulations discussed in [1], where it points out the feasibility of a fully implicit monolithic solver for multiphase flow problems via two formulations, a curvature-free level set approach and a curvature-free cutoff material function approach. Both formulations are fully implicit and have the advantages of requiring less regularity, since neither normals nor curvature are explicitly calculated, a
APA, Harvard, Vancouver, ISO, and other styles
8

Inie, Nanna, Allison Endo, Steven Dow, and Peter Dalsgaard. "The problem solver and the artisan designer." In NordiCHI'18: Nordic Conference on Human-Computer Interaction. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3240167.3240215.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Fujii, N., R. Inoue, and J. Ota. "Multiple robot rearrangement problem using an extended project-scheduling problem solver." In 2008 IEEE International Conference on Robotics and Biomimetics. IEEE, 2009. http://dx.doi.org/10.1109/robio.2009.4913309.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ren, Guotong, and Rami M. Younis. "A Time-Continuation Solver for Hydraulic Fracture Propagation." In SPE Reservoir Simulation Conference. SPE, 2021. http://dx.doi.org/10.2118/203937-ms.

Full text
Abstract:
Abstract We present an efficient time-continuation scheme for fluid-driven fracture propagation problems in the frame-work of the extended finite element method (XFEM). The fully coupled, fully implicit hydro-mechanical system is solved in conjunction with the linear elastic fracture propagation criterion by the Newton-Raphson method. Therefore, at the end of each time-step solve, the model ensures the energy release rate of weakest fracture tips within the equilibrium propagation regime. Besides, an initialization procedure for newly created fracture space as well as a priori estimate of stre
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Problem Solver"

1

Simon, Herbert A. The Scientist as Problem Solver. Fort Belvoir, VA: Defense Technical Information Center, September 1987. http://dx.doi.org/10.21236/ada204681.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Simon, Herbert A. The Scientist as Problem Solver. Fort Belvoir, VA: Defense Technical Information Center, January 1989. http://dx.doi.org/10.21236/ada240569.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hooper, Russell, and Stan Gerald Moore. Aleph Field Solver Challenge Problem Results Summary. Office of Scientific and Technical Information (OSTI), January 2015. http://dx.doi.org/10.2172/1168984.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kolodner, Janet L. Extending Problem Solver Capabilities through Case-Based Inference. Fort Belvoir, VA: Defense Technical Information Center, December 1987. http://dx.doi.org/10.21236/ada191332.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Marshall, Sandra P., Kathryn E. Barthuli, Margaret A. Brewer, and Frederic E. Rose. Story Problem Solver: A Schema-Based System of Instruction. Fort Belvoir, VA: Defense Technical Information Center, February 1989. http://dx.doi.org/10.21236/ada205594.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Apostolatos, A., R. Rossi, and C. Soriano. D7.2 Finalization of "deterministic" verification and validation tests. Scipedia, 2021. http://dx.doi.org/10.23967/exaqute.2021.2.006.

Full text
Abstract:
This deliverable focus on the verification and validation of the solvers of Kratos Multiphysics which are used within ExaQUte. These solvers comprise standard body-fitted approaches and novel embedded approaches for the Computational Fluid Dynamics (CFD) simulations carried out within ExaQUte. Firstly, the standard body-fitted CFD solver is validated on a benchmark problem of high rise building - CAARC benchmark and subsequently the novel embedded CFD solver is verified against the solution of the body-fitted solver. Especially for the novel embedded approach, a workflow is presented on which
APA, Harvard, Vancouver, ISO, and other styles
7

Klenk, Matthew, and Ken Forbus. Measuring the Level of Transfer Learning by an AP Physics Problem-Solver. Fort Belvoir, VA: Defense Technical Information Center, January 2007. http://dx.doi.org/10.21236/ada470405.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Baader, Franz, Pavlos Marantidis, and Alexander Okhotin. Approximately Solving Set Equations. Technische Universität Dresden, 2016. http://dx.doi.org/10.25368/2022.227.

Full text
Abstract:
Unification with constants modulo the theory ACUI of an associative (A), commutative (C) and idempotent (I) binary function symbol with a unit (U) corresponds to solving a very simple type of set equations. It is well-known that solvability of systems of such equations can be decided in polynomial time by reducing it to satisfiability of propositional Horn formulae. Here we introduce a modified version of this problem by no longer requiring all equations to be completely solved, but allowing for a certain number of violations of the equations. We introduce three different ways of counting the
APA, Harvard, Vancouver, ISO, and other styles
9

Lindquist, Joachim, and Henning de Haas. Creating Supply Chain Resilience Through Scenario Planning: How a Digital Twin Can Be Used To Enhance Supply Chain Resilience Through Scenario Planning. Aarhus University Library, 2021. http://dx.doi.org/10.7146/aul.435.

Full text
Abstract:
This book focusses on the concept of supply chain disruptions and how supply chain resilience can contribute to both preparing for and reacting to the event causing disruption. For building a digital twin of a supply chain, a software named Supply Chain Guru has been used. The software is a supply chain design tool which can be used for different kinds of supply chain network optimisation. The book outlines four scenarios: Covid-19 lockdown, Brexit without deal, Conflagration at a dairy and Political regulations on transport. The scenarios all contain a problem that needs to be solved. This pr
APA, Harvard, Vancouver, ISO, and other styles
10

Samji, Salimah, and Mansi Kapoor. Funda Wande through the Lens of PDIA: Showcasing a Flexible and Iterative Learning Approach to Improving Educational Outcomes. Research on Improving Systems of Education (RISE), January 2022. http://dx.doi.org/10.35489/bsg-rise-ri_2022/036.

Full text
Abstract:
Funda Wande has adopted a ‘learning by doing’ strategy that is similar to the Problem Driven Iterative Adaptation (PDIA) approach to solving complex problems. PDIA is a high-impact process of innovation that helps organisations develop the capability to solve complex problems while they are solving such problems. It is a step-by-step framework that helps break down problems into their root causes, identify entry points, search for possible solutions, take action, reflect upon what is learned, adapt, and then act again. Its dynamic process and tight feedback loops enable teams to find and fit s
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Problem Solver' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography