Metadata
Author: WikiMatrix
Data
German[de]
Solver sind zumeist auf die Lösung spezieller Probleme programmiert, wie z. B. Lineare und Nichtlineare Gleichungssysteme Ganzrationale Funktionen Mathematische Optimierung Gewöhnliche Differentialgleichungen Erfüllbarkeitsproblem der Aussagenlogik Constraint-Satisfaction-Problem Kürzester-Pfad-Problem Minimaler-Spannbaum-Problem Suchverfahren Mit dem General Problem Solver (GPS) versuchten Herbert Simon, J. C. Shaw und Allen Newell 1957 eine Software zu schreiben, die jedes formalisierbare Problem lösen kann.
English[en]
Linear and non-linear optimisation problems Systems of ordinary differential equations Systems of differential algebraic equations Boolean satisfiability problems, including SAT solvers Quantified boolean formula solvers Constraint satisfaction problems Shortest path problems Minimum spanning tree problems Search algorithms The General Problem Solver (GPS) is a particular computer program created in 1957 by Herbert Simon, J. C. Shaw, and Allen Newell intended to work as a universal problem solver, that theoretically can be used to solve every possible problem that can be formalized in a symbolic system, given the right input configuration.