- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Potsdam, Universität Potsdam, Dissertation, 2021
- Keyword
-
Tools
Problem solving
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universität Potsdam
- (when)
-
2021
- Creator
- Contributor
- DOI
-
10.25932/publishup-51251
- URN
-
urn:nbn:de:kobv:517-opus4-512519
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:01 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Hecher, Markus
- Woltran, Stefan
- Schaub, Torsten
- Truszczynski, Mirosław
- Vollmer, Heribert
- Universität Potsdam
Time of origin
- 2021
Other Objects (12)
Advanced Methods for SAT Solving
Problem-solving strategies must be taught implicitly
Coping, taming or solving : alternative approaches to the governance of wicked problems
Modern constraint answer set solving
Multi-threaded ASP solving with clasp
Babelsberg : specifying and solving constraints on object behavior
Dynamic methods in the general theory of cauchy type functional equations
Phase Space Reconstruction using the frequency domain : a generalization of actual methods
Ionothermal carbon materials : advanced synthesis and electrochemical applications
Data-driven tool construction in exploratory programming environments
Moving arms : the effects of sensorimotor information on the problem-solving process
Convergence rate of the modified Landweber method for solving inverse potential problems
Advanced Methods for SAT Solving
Problem-solving strategies must be taught implicitly
Coping, taming or solving : alternative approaches to the governance of wicked problems
Modern constraint answer set solving
Multi-threaded ASP solving with clasp
Babelsberg : specifying and solving constraints on object behavior
Dynamic methods in the general theory of cauchy type functional equations
Phase Space Reconstruction using the frequency domain : a generalization of actual methods
Ionothermal carbon materials : advanced synthesis and electrochemical applications
Data-driven tool construction in exploratory programming environments
Moving arms : the effects of sensorimotor information on the problem-solving process
Convergence rate of the modified Landweber method for solving inverse potential problems
Advanced Methods for SAT Solving
Problem-solving strategies must be taught implicitly
Coping, taming or solving : alternative approaches to the governance of wicked problems
Modern constraint answer set solving
Multi-threaded ASP solving with clasp
Babelsberg : specifying and solving constraints on object behavior
Dynamic methods in the general theory of cauchy type functional equations
Phase Space Reconstruction using the frequency domain : a generalization of actual methods
Ionothermal carbon materials : advanced synthesis and electrochemical applications
Data-driven tool construction in exploratory programming environments
Moving arms : the effects of sensorimotor information on the problem-solving process