Search results for "solvability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
84	Irina Perfilieva	Fixed Points and Solvability of Systems of Fuzzy Relation Equations.	IFSA (2)	2007	DBLP DOI BibTeX RDF	solvability of a system of equations, semilinear space, fixed point, Residuated lattice
78	Franz Baader, Klaus U. Schulz	Combination Techniques and Decision Problems for Disunification.	RTA	1993	DBLP DOI BibTeX RDF
68	Eli Gafni	The extended BG-simulation and the characterization of t-resiliency.	STOC	2009	DBLP DOI BibTeX RDF	solvability, t-resiliency, decidability, symmetry breaking, wait-freedom, renaming
62	Liesbeth De Mol	Study of Limits of Solvability in Tag Systems.	MCU	2007	DBLP DOI BibTeX RDF	Limits of solvability, Reachability problem, Tag Systems, Halting Problem
57	Eli Gafni, Petr Kuznetsov	Brief announcement: on L-resilience, hitting sets, and colorless tasks.	PODC	2010	DBLP DOI BibTeX RDF	distributed tasks, l-resilience, weak solvability, wait-freedom
49	Eli Gafni	A Simple Algorithmic Characterization of Uniform Solvability.	FOCS	2002	DBLP DOI BibTeX RDF
46	Antonio Fernández Anta, Alessia Milani	Bounds for Deterministic Reliable Geocast in Mobile Ad-Hoc Networks.	OPODIS	2008	DBLP DOI BibTeX RDF	speed of movement towards solvability, Mobile ad-hoc network, distributed algorithms, geocast
46	Lucian Ilie, Wojciech Plandowski	Two-Variable Word Equations.	STACS	2000	DBLP DOI BibTeX RDF	expressible language, complexity function, minimal solution, solvability, word equation
44	Klaus U. Schulz	A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms.	RTA	1997	DBLP DOI BibTeX RDF
38	Jerzy Konorski	Solvability of a Markovian Model of an IEEE 802.11 LAN under a Backoff Attack.	MASCOTS	2005	DBLP DOI BibTeX RDF
38	Manfred Schmidt-Schauß, Klaus U. Schulz	Solvability of Context Equations with Two Context Variables is Decidable.	CADE	1999	DBLP DOI BibTeX RDF
38	Ketan Mulmuley	A lOwer Bound for Solvability of Polynomial Equations.	FSTTCS	1993	DBLP DOI BibTeX RDF
38	Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima	On Determining the Solvability of Polynomials.	ISSAC	1990	DBLP DOI BibTeX RDF
35	Daniel Andersson, Vladimir Gurvich, Thomas Dueholm Hansen	On Acyclicity of Games with Cycles.	AAIM	2009	DBLP DOI BibTeX RDF	Positional game, game form, improvement cycle, restricted improvement cycle, restricted acyclicity, Nash-solvability, Nash equilibrium
35	Leonid Khachiyan, Lorant Porkolab	Computing Integral Points in Convex Semi-algebraic Sets.	FOCS	1997	DBLP DOI BibTeX RDF	convex semi-algebraic sets, polynomial inequalities, linear integer programming, semidefinite integer programming, integer programming, polynomial-time algorithm, polynomial-time solvability
33	Vadim V. Lozin, Martin Milanic	Tree-Width and Optimization in Bounded Degree Graphs.	WG	2007	DBLP DOI BibTeX RDF	Hereditary class of graphs, Induced Matching, Dominating set, Tree-width
33	César Luis Alonso, Fátima Drubi, José Luis Montaña	An Evolutionary Algorithm for Solving Word Equation Systems.	CAEPIA	2003	DBLP DOI BibTeX RDF
33	John Havlicek	Computable Obstructions to Wait-Free Computability.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Decision tasks, Homology, Simplicial complexes, Wait-free computing
33	Franz Baader, Klaus U. Schulz	Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures.	CADE	1992	DBLP DOI BibTeX RDF
33	Peter H. Starke	Decision Problems for Multi-Tape Automata.	MFCS	1976	DBLP DOI BibTeX RDF
32	Irina Perfilieva, Siegfried Gottwald	Solvability and approximate solvability of fuzzy relation equations.	Int. J. Gen. Syst.	2003	DBLP DOI BibTeX RDF
32	Martin Gavalec	Solvability and unique solvability of max-min fuzzy equations.	Fuzzy Sets Syst.	2001	DBLP DOI BibTeX RDF
32	Shawn Cokus, Victor Klee	Decomposition Theorems for Conditional Sign-Solvability and Sign-Solvability of General Systems.	SIAM J. Matrix Anal. Appl.	2000	DBLP DOI BibTeX RDF
27	Jiri Rohn	On unique solvability of the absolute value equation.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Absolute value equation, Unique solution, Singular values
27	Martin Biely, Martin Hutle, Lucia Draque Penso, Josef Widder	Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency.	SSS	2007	DBLP DOI BibTeX RDF
27	Neeraj Kayal	Solvability of a System of Bivariate Polynomial Equations over a Finite Field.	ICALP	2005	DBLP DOI BibTeX RDF
27	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy	Condition-based consensus solvability: a hierarchy of conditions and efficient protocols.	Distributed Comput.	2004	DBLP DOI BibTeX RDF	Step complexity, Fault-tolerance, Shared memory, Consensus, Asynchronous system, Collect, Condition, Snapshot, Input vector
27	Alessandro Agostini	On two families of paradigms of group-solvability.	AAMAS	2003	DBLP DOI BibTeX RDF	teams and group-dynamics, formalisms and logics for agents and MAS, coordination, groups, coalition formation
27	Pilar Fernandez-Ferreiros, Maria de los Angeles Gomez-Molleda, Laureano González-Vega	Partial solvability by radicals.	ISSAC	2002	DBLP DOI BibTeX RDF
27	Hideo Nakajima, Tetsuya Miyoshi, Naohiko Inaba	Solvability of network with nonlinear resistors.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
27	Bernadette Charron-Bost, Rachid Guerraoui, André Schiper	Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue.	DSN	2000	DBLP DOI BibTeX RDF	fault-tolerance, distributed systems, efficiency, consensus, asynchronous system, failure detector, synchronous system
27	Giovanni Di Lena, Felice Iavernaro	Solvability of Runge-Kutta and Block-BVMs Systems Applied to Scalar ODEs.	NAA	2000	DBLP DOI BibTeX RDF
27	Dorit S. Hochbaum	Instant recognition of polynominal time solvability, half integrality and 2-approximations.	APPROX	2000	DBLP DOI BibTeX RDF
23	Heping Gao, Meera Sitharam	Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces.	SAC	2009	DBLP DOI BibTeX RDF	Henneberg-I graph, combinatorial rigidity, geometric constraints and reasoning, graph characterization, one degree of freedom (1-dof), quadratic or radical solvability, triangle-decomposable or tree-decomposable graph, underconstrained geometric constraint solving, computer aided design, mechanism, linkage, graph minor, algebraic complexity, configuration space
23	Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge	A logic of games and propositional control.	AAMAS (2)	2009	DBLP BibTeX RDF	effectivity functions, game solvability, propositional control, modal logic, solution concepts, strategic games
23	Mitsuhiro T. Nakao, Kouji Hashimoto, Yoshitaka Watanabe	A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems.	Computing	2005	DBLP DOI BibTeX RDF	Numerical verification, unique solvability of linear elliptic problem, finite element method
23	Mira Bozzini, Licia Lenarduzzi, Robert Schaback	Adaptive Interpolation by Scaled Multiquadrics.	Adv. Comput. Math.	2002	DBLP DOI BibTeX RDF	conditionally positive definite radial basis functions, solvability, scaling, shape parameters
23	Jochen Mades, Manfred Glesner	Regularization of hierarchical VHDL-AMS models using bipartite graphs.	DAC	2002	DBLP DOI BibTeX RDF	structural solvability, regularization, bipartite graphs, VHDL-AMS, DAEs
23	William H. Cunningham, James F. Geelen	The Optimal Path-Matching Problem.	FOCS	1996	DBLP DOI BibTeX RDF	path-matching, weighted matroid intersection, optimization, generalization, polynomial-time algorithm, convex hull, matrix algebra, separation, equivalence, polynomial-time solvability
23	Eugene M. Luks	Computing in Solvable Matrix Groups	FOCS	1992	DBLP DOI BibTeX RDF	Sylow subgroups, solvable matrix groups, solvability, nilpotence, discrete-log problem, solvable permutation groups, finite matrix groups, finite fields, polynomial-time, centralizers, intersections, algebraic number fields, subgroups, membership-testing
22	Yong Shi 0001, Yingjie Tian 0001, Xiaojun Chen 0001, Peng Zhang 0001	Regularized multiple criteria linear programs for classification.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	multiple criteria mathematical program, regularized multiple criteria mathematical program, data mining, classification
22	Eli Gafni, Petr Kuznetsov	On Set Consensus Numbers.	DISC	2009	DBLP DOI BibTeX RDF
22	Randall Dougherty, Christopher F. Freiling, Kenneth Zeger	Linear Network Codes and Systems of Polynomial Equations.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
22	Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre	Collapsible Pushdown Automata and Recursion Schemes.	LICS	2008	DBLP DOI BibTeX RDF	Higher-order pushdown automata, game semantics, higher-order recursion schemes
22	Galina A. Kurina, Roswitha März	Feedback solutions of optimal control problems with DAE constraints.	CDC	2008	DBLP DOI BibTeX RDF
22	Yifeng Shao, Jie Wu 0001	Understanding the Tolerance of Dynamic Networks: A Routing-Oriented Approach.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
22	Yong Shi 0001, Yingjie Tian 0001, Xiaojun Chen 0001, Peng Zhang 0001	A Regularized Multiple Criteria Linear Program for Classification.	ICDM Workshops	2007	DBLP DOI BibTeX RDF
22	Marios Mavronicolas, Loizos Michael, Paul G. Spirakis	Computing on a Partially Eponymous Ring.	OPODIS	2006	DBLP DOI BibTeX RDF
22	Benoît Garbinato, Ian Rickebusch	A Topological Condition for Solving Fair Exchange in Byzantine Environments.	ICICS	2006	DBLP DOI BibTeX RDF
22	Per Johannessen, Fredrik Törner, Jan Torin	Actuator Based Hazard Analysis for Safety Critical Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
22	Karl Frauendorfer, Gido Haarbrücker	Solving Sequences of Refined Multistage Stochastic Linear Programs.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	discretization schemes, multistage stochastic linear programs, barycentric approximation, optimality condition, financial applications
22	Andrei A. Krokhin, Benoît Larose	Solving Order Constraints in Logarithmic Space.	STACS	2003	DBLP DOI BibTeX RDF
22	Bhaskar Krishnamachari, Ramón Béjar, Stephen B. Wicker	Distributed Problem Solving and the Boundaries of Self-Configuration in Multi-hop Wireless Networks.	HICSS	2002	DBLP DOI BibTeX RDF	computational complexity, phase transition, self-configuration, multi-hop wireless networks, distributed constraint satisfaction
22	Olena Kravchuk, Wayne J. Pullan, John Thornton 0001, Abdul Sattar 0001	An Investigation of Variable Relationships in 3-SAT Problems.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	Search, Constraints
22	Eli Gafni, Michael Merritt, Gadi Taubenfeld	The concurrency hierarchy, and algorithms for unbounded concurrency.	PODC	2001	DBLP DOI BibTeX RDF
22	Sandra Zilles	On the Synthesis of Strategies Identifying Recursive Functions.	COLT/EuroCOLT	2001	DBLP DOI BibTeX RDF
22	Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns	Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures.	ISSAC	2001	DBLP DOI BibTeX RDF
22	Wojciech Plandowski, Wojciech Rytter	Application of Lempel-Ziv Encodings to the Solution of Words Equations.	ICALP	1998	DBLP DOI BibTeX RDF
22	John Havlicek	Computable Obstructions to Wait-free Computability.	FOCS	1997	DBLP DOI BibTeX RDF	computable obstructions, distributed decision task, wait-free protocol, fault-tolerant computation, computability, asynchronous distributed systems, shared-memory model, wait-free computability
22	Jan Kuper	Proving the Genericity Lemma by Leftmost Reduction is Simple.	RTA	1995	DBLP DOI BibTeX RDF
22	Gadi Taubenfeld, Shlomo Moran	Possibility and Impossibility Results in a Shared Memory Environment.	WDAG	1989	DBLP DOI BibTeX RDF
22	Sorin Istrail, Cristian Masalagiu	Nivat-Processing Systems: Decision Problems Related to Protection and Synchronization.	CAAP	1983	DBLP DOI BibTeX RDF
22	Corrado Böhm, Mariangiola Dezani-Ciancaglini	Combinatorial Problems, Combinator Equations and Normal Forms.	ICALP	1974	DBLP DOI BibTeX RDF
22	John E. Hopcroft, Jeffrey D. Ullman	Decidable and Undecidable Questions About Automata.	J. ACM	1968	DBLP DOI BibTeX RDF
16	Sujeet Kumar, Sabyasachi Pani	Solvability of generalized vector bifunction variational inequality problem.	J. Appl. Math. Comput.	2024	DBLP DOI BibTeX RDF
16	Shubham Kumar, Deepmala, Milan Hladík, Hossein Moosaei	Characterization of unique solvability of absolute value equations: an overview, extensions, and future directions.	Optim. Lett.	2024	DBLP DOI BibTeX RDF
16	Liangyu Wang, Hongyu Li	Solvability Criterion for a System Arising from Monge-Ampère Equations with Two Parameters.	Axioms	2024	DBLP DOI BibTeX RDF
16	Vladimir Gurvich, Mariya Naumova	Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms.	Ann. Math. Artif. Intell.	2024	DBLP DOI BibTeX RDF
16	Yuan Zhang 0016, Yuanqing Xia, Yufeng Zhan	Total Unimodularity and Strongly Polynomial Solvability of Constrained Minimum Input Selections for Structural Controllability: An LP-Based Method.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
16	Afreen Islam, Guido Herrmann, Joaquín Carrasco	Solvability of the Inverse Optimal Control problem based on the minimum principle.	CoRR	2024	DBLP DOI BibTeX RDF
16	Chenyuan Zhang, Charles Kemp, Nir Lipovetzky	Human Goal Recognition as Bayesian Inference: Investigating the Impact of Actions, Timing, and Goal Solvability.	CoRR	2024	DBLP DOI BibTeX RDF
16	Maciej Drozdowski	On SAT information content, its polynomial-time solvability and fixed code algorithms.	CoRR	2024	DBLP DOI BibTeX RDF
16	Ai Huang, Yifu Wang	Global solvability for an indirect consumption chemotaxis system with signal-dependent motility.	Appl. Math. Lett.	2024	DBLP DOI BibTeX RDF
16	Shubham Kumar	Correction to: On the Unique Solvability of the Absolute Value Equation.	J. Optim. Theory Appl.	2024	DBLP DOI BibTeX RDF
16	Shi-Liang Wu, Peng Guo	Errata of the Unique Solvability of the Absolute Value Equation.	J. Optim. Theory Appl.	2024	DBLP DOI BibTeX RDF
16	Junhui Yang, Xuewen Wu, Rui Zhang	Solvability of an inverse spectral problem for Jacobi matrices with mixed given data.	J. Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
16	Chaeyun Shim, Jooyoung Bae, Bongjin Kim	30.3 VIP-Sat: A Boolean Satisfiability Solver Featuring 5×12 Variable In-Memory Processing Elements with 98% Solvability for 50-Variables 218-Clauses 3-SAT Problems.	ISSCC	2024	DBLP DOI BibTeX RDF
16	Chenyuan Zhang, Charles Kemp, Nir Lipovetzky	Human Goal Recognition as Bayesian Inference: Investigating the Impact of Actions, Timing, and Goal Solvability.	AAMAS	2024	DBLP BibTeX RDF
16	Milan Hladík, Hossein Moosaei	Some notes on the solvability conditions for absolute value equations.	Optim. Lett.	2023	DBLP DOI BibTeX RDF
16	Xiaoming Wang, Jehad O. Alzabut, Mahammad Khuddush, Michal Feckan	Solvability of Iterative Classes of Nonlinear Elliptic Equations on an Exterior Domain.	Axioms	2023	DBLP DOI BibTeX RDF
16	Ahmed M. A. El-Sayed, Hind H. G. Hashem, Shorouk M. Al-Issa	New Aspects on the Solvability of a Multidimensional Functional Integral Equation with Multivalued Feedback Control.	Axioms	2023	DBLP DOI BibTeX RDF
16	Kaihong Zhao	Solvability, Approximation and Stability of Periodic Boundary Value Problem for a Nonlinear Hadamard Fractional Differential Equation with p-Laplacian.	Axioms	2023	DBLP DOI BibTeX RDF
16	Maria Isabel Berenguer, Domingo Gámez, Ana Isabel Garralda-Guillem, Manuel Ruiz Galán	A Discrete Characterization of the Solvability of Equilibrium Problems and Its Application to Game Theory.	Axioms	2023	DBLP DOI BibTeX RDF
16	Vladimir E. Fedorov, Marina V. Plekhanova, Daria V. Melekhina	On Local Unique Solvability for a Class of Nonlinear Identification Problems.	Axioms	2023	DBLP DOI BibTeX RDF
16	Zhiwei Lv, Chun Wu, Donal O'Regan, Jiafa Xu	Solvability of a Boundary Value Problem Involving Fractional Difference Equations.	Axioms	2023	DBLP DOI BibTeX RDF
16	Munshi Mostafijur Rahaman, Rakibul Haque, Shariful Alam, Sebastian Zupok, Soheil Salahshour, Fariba Azizzadeh, Sankar Prasad Mondal	Solvability Criteria for Uncertain Differential Equations and Their Applicability in an Economic Lot-Size Model with a Type-2 Interval Phenomenon.	Symmetry	2023	DBLP DOI BibTeX RDF
16	Maciej Rymar, Hendrik Molter, André Nichterlein, Rolf Niedermeier	Towards Classifying the Polynomial-Time Solvability of Temporal Betweenness Centrality.	J. Graph Algorithms Appl.	2023	DBLP DOI BibTeX RDF
16	Hai-Yang Jin, Zhi-An Wang, Leyun Wu	Global Solvability and Stability of an Alarm-Taxis System.	SIAM J. Math. Anal.	2023	DBLP DOI BibTeX RDF
16	Zixuan Li, Jingtao Shi	Linear Quadratic Leader-Follower Stochastic Differential Games: Closed-Loop Solvability.	J. Syst. Sci. Complex.	2023	DBLP DOI BibTeX RDF
16	Rodolfo Conde, Sergio Rajsbaum	The Solvability of Consensus in Iterated Models Extended with Safe-Consensus.	Theory Comput. Syst.	2023	DBLP DOI BibTeX RDF
16	Manuel Radons, Josué Tonelli-Cueto	Generalized Perron Roots and Solvability of the Absolute Value Equation.	SIAM J. Matrix Anal. Appl.	2023	DBLP DOI BibTeX RDF
16	Hugo Rincon Galeana, Ulrich Schmid 0001, Kyrill Winkler, Ami Paz, Stefan Schmid 0001	Topological Characterization of Consensus Solvability in Directed Dynamic Networks.	CoRR	2023	DBLP DOI BibTeX RDF
16	Yuki Satake, Tomohiro Sogabe, Tomoya Kemmochi, Shao-Liang Zhang	Matrix equation representation of convolution equation and its unique solvability.	CoRR	2023	DBLP DOI BibTeX RDF
16	Daisuke Nakai, Masaki Muramatsu, Susumu Nishimura	Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability.	CoRR	2023	DBLP DOI BibTeX RDF
16	Hagit Attiya, Armando Castañeda, Thomas Nowak	Topological Characterization of Task Solvability in General Models of Computation.	CoRR	2023	DBLP DOI BibTeX RDF
16	Huiling Wu, Junfeng Song, Quanyong Zhu	Consistent Riccati expansion solvability and soliton-cnoidal wave solutions of a coupled KdV system.	Appl. Math. Lett.	2023	DBLP DOI BibTeX RDF
16	Andrés Gómez 0001, Ziyu He, Jong-Shi Pang	Linear-step solvability of some folded concave and singly-parametric sparse optimization problems.	Math. Program.	2023	DBLP DOI BibTeX RDF
16	Kazushi Ito, Yasuhiko Takenaga	Solvability of Peg Solitaire on Graphs is NP-Complete.	IEICE Trans. Inf. Syst.	2023	DBLP DOI BibTeX RDF
16	Javad Balooee, Shih-Sen Chang, Jen-Chih Yao	Generalized Set-valued Nonlinear Variational-like Inequalities and Fixed Point Problems: Existence and Approximation Solvability Results.	J. Optim. Theory Appl.	2023	DBLP DOI BibTeX RDF
16	Andaluzia Matei, Madalina Osiceanu	Weak solvability via bipotentials and approximation results for a class of bilateral frictional contact problems.	Commun. Nonlinear Sci. Numer. Simul.	2023	DBLP DOI BibTeX RDF