MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Algorithmic Unsolvability." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

62 documents found, showing 1 through 10. Next 10 →

ATOM

Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems
by Carlos Eisenberg, Boi Faltings — 2003 — In the Proceedings of Principles and Practice of Constraint Programming CP-2003, LNCS 2833. 2003
…Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems Carlos Eisenberg and Boi…
Cited by 6 (0 self) – Add To MetaCart

The History and Status of the P versus NP Question
by Michael Sipser, Juris Hartmanis — 1992
… problems are algorithmically unsolvable. At around this time, forerunners of the programmable computing…
Cited by 29 (0 self) – Add To MetaCart

Reasoning About the Elementary Functions of Complex Analysis
by Robert M. Corless, David J. Jeffrey, Stephen M. Watt, Russell Bradford, James H. Davenport, Bath Ba Ay
… reduced the simplication process to a complete algorithm. The unsolved problems are probably more amenable…
Cited by 9 (7 self) – Add To MetaCart

The Church-Turing thesis: Consensus and opposition
by Martin Davis — 2006 — Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006
…. In addition it has made it possible to prove the algorithmic unsolvability of important problems, has provided…
Cited by 4 (0 self) – Add To MetaCart

Modular Reuse of Ontologies: Theory and Practice
by Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler — 2008 — JAIR
… or algorithmically unsolvable for the description logic underlying OWL DL. In order to achieve a practical solution…
Cited by 14 (2 self) – Add To MetaCart

Amalgamations And Link Graphs Of Cayley Graphs
by J. Tomanova — 1991
… that the problem is algorithmically unsolvable in the class of all (possibly infinite) graphs, see Bulitko [2…
Add To MetaCart

Amalgamations And Link Graphs Of Cayley Graphs
by Tom An Ov, J. Tomanov A
… that the problem is algorithmically unsolvable in the class of all (possibly infinite) graphs, see Bulitko [2…
Add To MetaCart

Foundations of Shared Memory
by In Alan, Turing Turing Machine, Lambda Calculus, The Theoretical
… compute, is crucial: if you don’t understand computability you are bound to try and devise algorithms…
Add To MetaCart

Summarizing CSP hardness with continuous probability distributions
by Daniel Frost, Irina Rish, Lluis Vila — 1997 — In Proceedings of the 14th National Conference on AI
… lines) for selected experiments, using algorithm BJ+DVO. Unsolvable problems and lognormal distributions…
Cited by 25 (2 self) – Add To MetaCart

Qualification Examination in Theory
by Afra Zomorodian, New York, New York, Lr Thomas H. Cormen, Charles S. Leiserson — 1998 — NY Ma K, B Hikmat, K Wycoff, N Bine, D Chargelegue, L Yu, M Hein, and T
…, 1998. http://www.ams.org/mathscinet/. [Nov58] P. S. Novikov. On the algorithmic unsolvability…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB