Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Marcos Kawazoe Aguilera, Burkhard Englert, Eli Gafni |
Uniform Solvability with a Finite Number of MWMR Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings, pp. 16-29, 2003, Springer, 3-540-20184-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Irina Perfilieva |
Solvability of a system of fuzzy relation equations: Easy to check conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. ![In: Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, Zittau, Germany, September 10-12, 2003, pp. 517-522, 2003, University of Applied Sciences at Zittau/Görlitz, Germany, 3-9808089-4-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
16 | Vyacheslav Kalashnikov, George Isac |
Solvability of Implicit Complementarity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 116(1-4), pp. 199-221, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
implicit complementarity problem, exceptional families, existence alternatives, continuous selections |
16 | Lawrence J. De Chant |
A computationally implementable criterion for the solvability of boundary value problems on an infinite domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 125(1), pp. 35-47, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Bing Liu, Jian She Yu |
Solvability of multi-point boundary value problem at resonance (III). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 129(1), pp. 119-143, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Nikita E. Barabanov, Romeo Ortega |
Conditions for Solvability of Extended Algebraic Riccati Equations with Applications to Dissipativity Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Control ![In: Eur. J. Control 8(3), pp. 251-264, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Delin Chu, Roger C. E. Tan |
Solvability Conditions and Parameterization of All Solutions for the Triangular Decoupling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 23(4), pp. 1171-1182, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Manfred Schmidt-Schauß, Klaus U. Schulz |
Solvability of Context Equations with Two Context Variables is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 33(1), pp. 77-122, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Augusto Ferrante, Luciano Pandolfi |
On the solvability of the positive real lemma equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 47(3), pp. 211-219, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Guillermo Fernández-Anaya, Juan Carlos Martínez-García, D. Aguilar-George |
Preservation of solvability conditions in Riccati equations when applying SPR0 substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 41st IEEE Conference on Decision and Control, CDC 2002, Las Vegas, NV, USA, December 10-13, 2002, pp. 1048-1053, 2002, IEEE, 0-7803-7516-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Edward Gimadi, Sergey V. Sevastianov |
On Solvability of the Project Scheduling Problem with Accumulative Resources of an Arbitrary Sign. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR ![In: Operations Research Proceedings 2002, Selected Papers of the International Conference on Operations Research (SOR 2002), Klagenfurt, Austria, September 2-5, 2002, pp. 241-246, 2002, Springer, 978-3-540-00387-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Mustapha Ait Rami, Xi Chen 0036, John B. Moore, Xun Yu Zhou |
Solvability and asymptotic behavior of generalized Riccati equations arising in indefinite stochastic LQ controls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 46(3), pp. 428-440, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Volker Diekert, Anca Muscholl |
Solvability of Equations in Free Partially Commutative Groups Is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 543-554, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Pierre-Alexandre Bliman |
Solvability of a Lyapunov equation for characterization of asymptotic stability of linear delay systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 6th European Control Conference, ECC 2001, Porto, Portugal, September 4-7, 2001, pp. 3006-3011, 2001, IEEE, 978-3-9524173-6-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Atsumi Ohara, Yasuaki Sasaki |
On solvability and numerical solutions of parameter-dependent differential matrix inequality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001, pp. 3593-3594, 2001, IEEE, 0-7803-7061-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Martin Schubert, Holger Boche |
Solvability of coupled downlink beamforming problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: Proceedings of the Global Telecommunications Conference, 2001. GLOBECOM '01, San Antonio, TX, USA, 25-29 November, 2001, pp. 614-618, 2001, IEEE, 0-7803-7206-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy |
A hierarchy of conditions for consensus solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, PODC 2001, Newport, Rhode Island, USA, August 26-29, 2001, pp. 151-160, 2001, ACM, 1-58113-383-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
asynchronous shared memory, step complexity, fault-tolerance, consensus, snapshot |
16 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal |
Conditions on input vectors for consensus solvability in asynchronous distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 33rd Annual ACM Symposium on Theory of Computing, July 6-8, 2001, Heraklion, Crete, Greece, pp. 153-162, 2001, ACM, 1-58113-349-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
fault-tolerance, consensus, asynchronous systems |
16 | Guillaume Hanrot, François Morain |
Solvability by radicals from an algorithmic point of view. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA & University of Western Ontario, London, Ontario, Canada, July 22-25, 2001, pp. 175-182, 2001, ACM, 1-58113-417-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | J. Cole Smith |
Tight Discrete Formulations to Enhance Solvability with Applications to Production, Telecommunications, and Air Transportation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
16 | Yun-Bin Zhao, Jin-Yun Yuan |
An alternative theorem for generalized variational inequalities and solvability of nonlinear quasi-PM*-complementarity problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 109(2-3), pp. 167-182, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Carlo D. Pagani, Dario Pierotti |
On Solvability of the Nonlinear Wave Resistance Problem for a Surface-Piercing Symmetric Cylinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Math. Anal. ![In: SIAM J. Math. Anal. 32(1), pp. 214-233, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Kyung-Soo Kim 0001, Youngjin Park |
Equivalence between two solvability conditions for a static output feedback problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 45(10), 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Vladimir A. Emelichev, A. V. Pashkevich |
Vector discrete problems: parametrization of an optimality principle and conditions of solvability in the class of algorithms involving linear convolution of criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. J. Moldova ![In: Comput. Sci. J. Moldova 8(3), pp. 260-269, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | J. Abdou |
Exact stability and its applications to strong solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 39(3), pp. 263-275, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Arthur J. Krener |
The Local Solvability of a Hamilton--Jacobi--Bellman PDE around a Nonhyperbolic Critical Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 39(5), pp. 1461-1484, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Anthony J. Guttmann |
Indicators of solvability for lattice models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 217(1-3), pp. 167-189, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Marco Mariotti |
Maximum Games, Dominance Solvability, and Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 31(1), pp. 97-105, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Vincenzo Acciaro, Jürgen Klüners |
Computing Local Artin Maps, and Solvability of Norm Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 30(3), pp. 239-252, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Agostini |
Team-Solvability: A Model-Theoretic Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000, pp. 333-337, 2000, IOS Press. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Ming-Deh A. Huang, Yiu-Chung Wong |
Solvability of systems of polynomial congruences modulo a large prime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 8(3), pp. 227-257, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Ben M. Chen |
Explicit solvability conditions for the general discrete-time H infinity almost disturbance decoupling problem with internal stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 30(1), pp. 105-115, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Jayaramanan Sreedhar, Paul Van Dooren |
Periodic descriptor systems: solvability and conditionability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 44(2), pp. 310-313, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Shahin Hashtrudi-Zad, Mohammad-Ali Massoumnia |
Generic solvability of the failure detection and identification problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 35(5), pp. 887-893, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Eberhard Girlich, Alexander G. Tarnowski |
On polynomial solvability of two multiprocessor scheduling problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Methods Oper. Res. ![In: Math. Methods Oper. Res. 50(1), pp. 27-51, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Luca Paolini, Simona Ronchi Della Rocca |
Call-by-value Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 33(6), pp. 507-534, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Benny Chor, Lee-Bath Nelson |
Solvability in Asynchronous Environments II: Finite Interactive Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 29(2), pp. 351-377, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Werner M. Seiler |
Indices and Solvability for General Systems of Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, CASC 1999, Munich, Germany, May 31 - June 4, 1999, pp. 365-385, 1999, Springer, 978-3-540-66047-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Georges Le Vey |
Some remarks on solvability and various indices for implicit differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 19(1-4), pp. 127-145, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Vladas Skakauskas |
Solvability and Asymptotic Behavior of a Pair Formation Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica ![In: Informatica 9(2), pp. 209-234, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Prasad Jayanti |
Solvability of Consensus: Composition Breaks Down for NonDeterministic Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 28(3), pp. 782-797, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Fernando J. Von Zuben, Márcio Luiz De Andrade Netto |
Projection pursuit and the solvability condition applied to constructive learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNN ![In: Proceedings of International Conference on Neural Networks (ICNN'97), Houston, TX, USA, June 9-12, 1997, pp. 1062-1067, 1997, IEEE. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Eugene Santos Jr., Eugene S. Santos |
Polynomial Solvability of Cost-Based Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 86(1), pp. 157-170, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Vincenzo Acciaro |
Solvability of norm equations over cyclic number fields of prime degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 65(216), pp. 1663-1674, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Dörte Neundorf, Rolf Böhm |
Solvability criteria for systems of fuzzy relation equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 80(3), pp. 345-352, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Marios Mavronicolas |
Wait-Free Solvability Via Combinatorial Topology (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26, 1996, pp. 277, 1996, ACM, 0-89791-800-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Friedrich Otto |
Solvability of Word Equations Modulo Finite Special and Confluent String-Rewriting Systems is Undecidable in General. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 53(5), pp. 237-242, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Stephen L. Campbell, E. Griepentrog |
Solvability of General Differential Algebraic Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Sci. Comput. ![In: SIAM J. Sci. Comput. 16(2), pp. 257-270, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Bernd Kummer |
On solvability and regularity of a parametrized version of optimality conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Methods Oper. Res. ![In: Math. Methods Oper. Res. 41(2), pp. 215-230, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Bryan L. Shader |
Least Squares Sign-Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 16(4), pp. 1056-1073, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Joseph M. Abdou |
Solvability of Two-Player Game Forms with Infinite Sets of Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Oper. Res. ![In: Math. Oper. Res. 20(1), pp. 213-226, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Katarína Cechlárová |
Unique solvability of max-min fuzzy equations and strong regularity of matrices over fuzzy algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 75(2), pp. 165-177, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Fernando J. Von Zuben, Márcio Luiz De Andrade Netto |
Unit-growing learning optimizing the solvability condition for model-free regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNN ![In: Proceedings of International Conference on Neural Networks (ICNN'95), Perth, WA, Australia, November 27 - December 1, 1995, pp. 795-800, 1995, IEEE. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Yael Etzion-Petruschka, David Harel, Dale Myers |
On the Solvability of Domino Snake Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 131(2), pp. 243-269, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | A. Castro |
Solvability and Bifurcations of Nonlinear Equations (P. Drábek). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM Rev. ![In: SIAM Rev. 36(1), pp. 119-122, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Boris G. Pittel, Robert W. Irving |
An Upper Bound for the Solvability of a Random Stable Roommates Instance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Struct. Algorithms ![In: Random Struct. Algorithms 5(3), pp. 465-487, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Ton Geerts |
Free end-point linear-quadratic control subject to implicit continuous- time systems: Necessary and sufficient conditions for solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 29(5), pp. 431-438, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Cynthia Barnhart, Ellis L. Johnson, George L. Nemhauser, Gabriele Sigismondi, Pamela H. Vance |
Formulating a Mixed Integer Programming Problem to Improve Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 41(6), pp. 1013-1019, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Joachim Gwinner, Vaithilingam Jeyakumar |
A solvability theorem and minimax fractional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZOR Methods Model. Oper. Res. ![In: ZOR Methods Model. Oper. Res. 37(1), pp. 1-12, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Frieda Granot, Jadranka Skorin-Kapov |
On Polynomial Solvability of the High Multiplicity Total Weighted Tardiness Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 41(2), pp. 139-146, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Jiri Rohn |
A note on solvability of a class of linear complementarity problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 60, pp. 229-231, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | V. Tolkachev, B. Bershadsky, Anatoly Nemirko |
Solvability of the electrocardiology inverse problem for a moving dipole. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 68(3), pp. 253-258, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | A. P. Cherenkov, V. V. Mikhailenko, B. S. Shusterman |
Determination of Solvability Boundaries of Optimization Problems in Parameter Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 3(4), pp. 453-462, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Stanley P. Franklin, Max H. Garzon |
On stability and solvability (or, when does a neural network solve a problem?). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 2(1), pp. 71-83, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Gennady Davydov, Inna Davydova |
Tautologies and Positive Solvability of Linear Homogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 57(1), pp. 27-43, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Alexander A. Ageev |
A Criterion of Polynomial-Time Solvability for the Network Location Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Proceedings of the 2nd Integer Programming and Combinatorial Optimization Conference, Pittsburgh, PA, USA, May 1992, pp. 237-245, 1992, Carnegie Mellon University. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Joseph F. Traub |
Solvability of III-posed problems: An historical note. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 7(3), pp. 219-, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Mark A. Kon, Klaus Ritter 0001, Arthur G. Werschulz |
On the average case solvability of III-posed problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 7(3), pp. 220-224, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Carmen Herrero, Jose A. Silva |
On the equivalence between strong solvability and strict semimonotonicity for some systems involving Z-functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 49, pp. 371-379, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Antoni Koscielski |
An Analysis of Makanin's Algorithm Deciding Solvability of Equations in Free Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWWERT ![In: Word Equations and Related Topics, First International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990, Proceedings, pp. 12-60, 1990, Springer, 3-540-55124-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Melven Krom, Myren Krom |
Recursive Solvability of Problems with Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 35(5), pp. 437-442, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Charles K. Chui |
Systems Analysis by Graphs and Matroids: Structural Solvability and Controllability (Kazuo Murota). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM Rev. ![In: SIAM Rev. 31(3), pp. 502-503, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Benny Chor, Lior Moscovici |
Solvability in Asynchronous Environments (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 422-427, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
membership characterization, asynchronous environments, combinatorial conditions, distributed decision tasks, computational complexity |
16 | Antoni W. Mazurkiewicz |
Solvability of the Asynchronous Ranking Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 28(5), pp. 221-224, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Constantin Zalinescu |
Solvability results for sublinear functions and operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Z. Oper. Research ![In: Z. Oper. Research 31(3), 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | R. Chandrasekaran, Jong-Shi Pang, Richard E. Stone |
Two counterexamples on the polynomial solvability of the linear complementarity problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 39(1), pp. 21-25, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Siegfried Gottwald |
Characterizations of the Solvability of Fuzzy Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 22(2/3), pp. 67-91, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
16 | Chandrajit L. Bajaj |
Proving Geometric Algorithm Non-Solvability: An Application of Factoring Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 2(1), pp. 99-102, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Chanderjit L. Bajaj |
Limitations to algorithm solvability: Galois methods and models of computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 71-76, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Susan Landau 0001, Gary L. Miller |
Solvability by Radicals is in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 30(2), pp. 179-208, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Peter Butkovic |
Necessary solvability conditions of systems of linear extremal equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 10(1), pp. 19-26, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | John J. Dinkel, Danny Wong |
External Zones in Trip Distribution Models: Characterization and Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transp. Sci. ![In: Transp. Sci. 18(3), pp. 253-266, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
16 | R. Charles Bell, Bryan Floyd |
A Monte Carlo Study of Cichelli Hash-Function Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 26(11), pp. 924-925, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Susan Landau 0001, Gary L. Miller |
Solvability by Radicals is in Polynomial Time ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 25-27 April, 1983, Boston, Massachusetts, USA, pp. 140-151, 1983, ACM. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Stål Aanderaa |
On the solvability of the extended (exist-forall)and(exists-forall*)-Ackermann class with identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic and Machines ![In: Logic and Machines: Decision Problems and Complexity, Proceedings of the Symposium `Rekursive Kombinatorik` held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen, pp. 270-284, 1983, Springer, 3-540-13331-3. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Michael Struwe |
On the solvability of ordinary differential equations with only partially continuous right-hand-side by difference methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 27(2), pp. 165-167, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
16 | Jiri Rohn |
Strong solvability of interval linear programming problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 26(1), pp. 79-82, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
16 | Z. Zachar |
The solvability of the equivalence problem for deterministic frontier-to-root tree transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 4(2), pp. 167-177, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
16 | J. C. Lagarias 0001 |
Succinct Certificates for the Solvability of Binary Quadratic Diophantine Equations ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 20th Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 29-31 October 1979, pp. 47-54, 1979, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Oscar H. Ibarra, Chul E. Kim |
A Useful Device for Showing the Solvability of Some Decision Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 13(2), pp. 153-160, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Oscar H. Ibarra, Chul E. Kim |
A Useful Device for Showing the Solvability of Some Decision Problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 8th Annual ACM Symposium on Theory of Computing, May 3-5, 1976, Hershey, Pennsylvania, USA, pp. 135-140, 1976, ACM. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Jan Willem Klop |
On solvability by lambda I - terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 342-345, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
16 | P. Florath |
On Methods To Decide Solvability of Transformation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, Tbilisi, Georgia, USSR, September 3-8, 1975, pp. 29-33, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP BibTeX RDF |
|
16 | Alexander Abian |
Rado's theorem and solvability of systems of equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 14(2), pp. 145-150, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
16 | Robert A. Di Paola |
The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 20(1), pp. 112-126, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
16 | Pavel Tichý |
A remark on the concept of problem and solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 3(2), pp. 105-109, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP BibTeX RDF |
|
16 | Stål Aanderaa, Patrick C. Fischer |
The Solvability of the Halting Problem for 2-State Post Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 14(4), pp. 677-682, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
16 | Stephen A. Cook |
The Solvability of the Derivability Problem for One-Normal Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 13(2), pp. 223-225, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
16 | Seymour Ginsburg, Thomas N. Hibbard |
Solvability of Machine Mappings of Regular Sets to Regular Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 11(3), pp. 302-312, 1964. The full citation details ...](Pics/full.jpeg) |
1964 |
DBLP DOI BibTeX RDF |
|
16 | Richard Goldberg |
On the Solvability of a Subclass of the Suranyi Reduction Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 28(3), pp. 237-244, 1963. The full citation details ...](Pics/full.jpeg) |
1963 |
DBLP DOI BibTeX RDF |
|