Computational Complexity of Solving Equation Systems

Abstract

We present conclusions and open problems raising from studying solving equations over unary algebras. We suggest areas that are most promising for expanding our knowledge

Categories

Keywords

Reprint years

ISBN(s)

9783319217499

DOI

10.1007/978-3-319-21750-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Chapters

Conclusions and Open Problems.Przemysław Broniek
Introduction.Przemysław Broniek
Partial Characterizations.Przemysław Broniek
Reducing CSP to SysTermSat over Unary Algebras.Przemysław Broniek
Unary Algebras.Przemysław Broniek

Similar books and articles

Unary Algebras.Przemysław Broniek - 1st ed. 2015 - In Computational Complexity of Solving Equation Systems. Springer International Publishing.
Reducing CSP to SysTermSat over Unary Algebras.Przemysław Broniek - 1st ed. 2015 - In Computational Complexity of Solving Equation Systems. Springer International Publishing.
Introduction.Przemysław Broniek - 1st ed. 2015 - In Computational Complexity of Solving Equation Systems. Springer International Publishing.
Partial Characterizations.Przemysław Broniek - 1st ed. 2015 - In Computational Complexity of Solving Equation Systems. Springer International Publishing.
Conclusions and Open Problems.Przemysław Broniek - 1st ed. 2015 - In Computational Complexity of Solving Equation Systems. Springer International Publishing.
On the computational complexity of integral equations.Ker-I. Ko - 1992 - Annals of Pure and Applied Logic 58 (3):201-228.
Beyond Simon’s Means-Ends Analysis: Natural Creativity and the Unanswered ‘Why’ in the Design of Intelligent Systems for Problem-Solving. [REVIEW]Dongming Xu - 2010 - Minds and Machines 20 (3):327-347.
Free set algebras satisfying systems of equations.G. Aldo Antonelli - 1999 - Journal of Symbolic Logic 64 (4):1656-1674.
Numerically solving physiological models based on a polynomial approach.F. Tudoret, A. Bardou & G. Carrault - 2001 - Acta Biotheoretica 49 (4):247-260.
Visual models in analogical problem solving.Jim Davies, Nancy J. Nersessian & Ashok K. Goel - 2005 - Foundations of Science 10 (1):133-152.
Recursive unary algebras and trees.Bakhadyr Khoussainov - 1994 - Annals of Pure and Applied Logic 67 (1-3):213-268.
Knowledge integration in creative problem solving.Ron Sun - unknown
The Exact Formulation of the Inverse of the Tridiagonal Matrix for Solving the 1D Poisson Equation with the Finite Difference Method.Serigne Bira Gueye - 2014 - JEMAA 6:303-308.
A Step towards a Complexity Theory for Analog Systems.K. Meer & M. Gori - 2002 - Mathematical Logic Quarterly 48 (S1):45-58.
Strategies for Reliable Global Optimization and Nonlinear Equation Solving Using Interval Analysis.Hongkun Liang - 2002 - Dissertation, University of Notre Dame

Analytics

Added to PP
2015-08-16

Downloads
23 (#644,212)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references