Search results for "lemma"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Rudolf Fleischer	Die Another Day.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Hydra battle, Buchholz Hydra, Peano arithmetic, PA, Koenig’s lemma, Transfinite induction
17	Stephen A. Fenner, William I. Gasarch, Brian Postow	The Complexity of Finding SUBSEQ(A).	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Turing degree, Higman’s lemma, Unbounded search, Recursive mathematics, Computational complexity, Computability, Context-free grammar, Automata theory, Automaton, Context-free language, Subsequence, Reverse mathematics, Bounded queries
17	János Pach, Géza Tóth 0001	Degenerate Crossing Numbers.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Crossing lemma, Multiple crossings, Crossing number, Incidences, Euler characteristics, Bisection width
17	Gideon Schechtman, Adi Shraibman	Lower Bounds for Local Versions of Dimension Reductions.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Johnson-Lindenstrauss lemma, Nearest neighbors, Dimension reduction
17	Falk Unger	A Probabilistic Inequality with Applications to Threshold Direct-Product Theorems.	FOCS	2009	DBLP DOI BibTeX RDF	Concentration inequality, XOR Lemma, Direct-product Theorem, Chernoff bound
17	Yvonne Cliff, Colin Boyd, Juan Manuel González Nieto	How to Extract and Expand Randomness: A Summary and Explanation of Existing Results.	ACNS	2009	DBLP DOI BibTeX RDF	randomness expansion, pseudorandom function (PRF), leftover hash lemma (LHL), key agreement, universal hash function, randomness extraction, key exchange protocols
17	Susan H. Rodger, Eric N. Wiebe, Kyung Min Lee, Chris Morgan, Kareem Omar, Jonathan Su	Increasing engagement in automata theory with JFLAP.	SIGCSE	2009	DBLP DOI BibTeX RDF	cyk parser, automata, formal languages, pumping lemma, jflap
17	Asaf Shapira	Green's conjecture and testing linear-invariant properties.	STOC	2009	DBLP DOI BibTeX RDF	hypergraphs removal lemma, boolean functions, property testing
17	Xi Chen 0001, Xiaotie Deng	Matching algorithmic bounds for finding a Brouwer fixed point.	J. ACM	2008	DBLP DOI BibTeX RDF	Approximate fixed point, Sperner's lemma, fixed point theorem, Lipschitz function
17	Mark de Berg	Improved Bounds on the Union Complexity of Fat Objects.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF	Union Complexity, Density Lemma, Fat Objects
17	Anton Karl Ingason, Sigrún Helgadóttir, Hrafn Loftsson, Eiríkur Rögnvaldsson	A Mixed Method Lemmatization Algorithm Using a Hierarchy of Linguistic Identities (HOLI).	GoTAL	2008	DBLP DOI BibTeX RDF	lemma, BLARK, Icelandic, Lemmald, IceTagger, machine learning, normalization, lemmatization
17	Dominik Scheder, Philipp Zumstein	How Many Conflicts Does It Need to Be Unsatisfiable?	SAT	2008	DBLP DOI BibTeX RDF	unsatisfiable formulas, Lovász Local Lemma, satisfiability, conflict graph
17	Attila Sali, László A. Székely	On the Existence of Armstrong Instances with Bounded Domains.	FoIKS	2008	DBLP DOI BibTeX RDF	Armstrong instance, bounded domain, Armstrong-code, spherical code, Lovász’ Local Lemma, functional dependency
17	Noga Alon, Amin Coja-Oghlan, Hiêp Hàn, Mihyun Kang, Vojtech Rödl, Mathias Schacht	Quasi-randomness and Algorithmic Regularity for Graphs with General Degree Distributions.	ICALP	2007	DBLP DOI BibTeX RDF	quasi-random graphs, Laplacian eigenvalues, Grothendieck’s inequality, regularity lemma, sparse graphs
17	Susan H. Rodger, Jinghui Lim, Stephen Reading	Increasing interaction and support in the formal languages and automata theory course.	ITiCSE	2007	DBLP DOI BibTeX RDF	moore machine, automata, formal languages, pumping lemma, mealy machine, JFLAP
17	Rafael Castro, Ricardo Dahab	Two Notes on the Security of Certificateless Signatures.	ProvSec	2007	DBLP DOI BibTeX RDF	Forking Lemma, Signature Schemes, Certificateless Public-Key Cryptography
17	Pierre Chambart, Philippe Schnoebelen	Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems.	FSTTCS	2007	DBLP DOI BibTeX RDF	Lossy channel systems, Higman’s Lemma, Post correspondence problem
17	Ainhoa Berciano, María José Jiménez 0001, Pedro Real 0001	On the Computation of Ainfinity-Maps.	CASC	2007	DBLP DOI BibTeX RDF	A ???-algebra, Basic Perturbation Lemma, computation, contraction, transference
17	Masahiro Nakano, Kazuhiro Ogata 0001, Masaki Nakamura 0001, Kokichi Futatsugi	Automating Invariant Verification of Behavioral Specifications.	QSIC	2006	DBLP DOI BibTeX RDF	fixed-point computation, lemma discovery, algebraic specification, rewriting, authentication protocols
17	Jonas Månsson, Patrik Nordbeck	A generalized Ufnarovski graph.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF	Non-commutative algebras, Automaton algebras, Ufnarovski graph, Dickson's lemma, Noetherianity, Automata
17	Xi Chen 0001, Xiaotie Deng	On algorithms for discrete and approximate brouwer fixed points.	STOC	2005	DBLP DOI BibTeX RDF	Sperner's lemma, approximate fixed point, fixed point theorem, Lipschitz function
17	Anant P. Godbole, Joseph A. Johnson	Even 2 × 2 Submatrices of a Random Zero-One Matrix.	Graphs Comb.	2004	DBLP DOI BibTeX RDF	Even submatrix, Borel Cantelli lemma, Random zero-one matrix, Azuma-Hoeffding inequality, Hadamard matrices
17	Eldar Fischer	The difficulty of testing for isomorphism against a graph that is given in advance.	STOC	2004	DBLP DOI BibTeX RDF	graph isomorphism, property testing, regularity lemma
17	Steven A. Myers	Efficient Amplification of the Security of Weak Pseudo-Random Function Generators.	J. Cryptol.	2003	DBLP DOI BibTeX RDF	Security amplification, XOR Lemma, Pseudo-randomness, Function generators
17	Robert Krauthgamer, James R. Lee	The intrinsic dimensionality of graphs.	STOC	2003	DBLP DOI BibTeX RDF	growth restricted graphs, low-dimensional, embeddings, graph decomposition, lovasz local lemma, finite metric spaces
17	Igor V. Evstigneev, Michael I. Taksar	Equilibrium States of Random Economies with Locally Interacting Agents and Solutions to Stochastic Variational Inequalities in (L1, L∞).	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	random economies, locally interacting agents, stochastic equilibrium, biting lemma, variational inequalities, monotone operators
17	Patrik Nordbeck	On the Finiteness of Gröbner Bases Computation in Quotients of the Free Algebra.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Non-commutative algebras, Gröbner bases, Dickson's lemma, Noetherianity, Syzygies
17	Micha Sharir, Emo Welzl	Balanced lines, halving triangles, and the generalized lower bound theorem.	SCG	2001	DBLP DOI BibTeX RDF	$k$-sets, Gale transform, Lovasz Lemma, balanced lines, generalized lower bound theorem, halving triangles
17	Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle	Tight bounds for k-set agreement.	J. ACM	2000	DBLP DOI BibTeX RDF	Spwener's Lemma, crash failure model, topology, synchronous systems, message-passing systems, k-set agreement
17	Lisa Hales, Sean Hallgren	An Improved Quantum Fourier Transform Algorithm and Applications.	FOCS	2000	DBLP DOI BibTeX RDF	improved quantum Fourier transform algorithm, arbitrary inverse polynomial, Fourier sampling technique, quantum Fourier sampling lemma, arbitrary periodic function, periodic functions, standard quantum lower-bound techniques, maximal class, quantum period-finding algorithm, computational complexity, quantum computing, polynomials, Fourier transforms
17	A. A. Abouelsoud	Robust Regulator for Flexible-Joint Robots Using Integrator Backstepping.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	robot dynamic model, stiffness matrix, constant disturbance, integrator backstepping, Liapunov functions, Barbalat lemma, stability
17	Rusins Freivalds, Efim B. Kinber, Carl H. Smith	On the Impact of Forgetting on Learning Machines.	J. ACM	1995	DBLP DOI BibTeX RDF	memory limited learning, machine learning, Kolmogorov complexity, inductive inference, probabilistic automata, pumping lemma, recursion theorem
17	Paul Beame, Russell Impagliazzo, Toniann Pitassi	Improved Depth Lower Vounds for Small Distance Connectivity.	FOCS	1995	DBLP DOI BibTeX RDF	depth lower bounds, small distance connectivity, switching lemma, depth lower bound, computational complexity, graph theory, graph
17	Russell Impagliazzo	Hard-Core Distributions for Somewhat Hard Problems.	FOCS	1995	DBLP DOI BibTeX RDF	hard core distributions, hard-core distributions, hard problems, random guess, non uniform mode, Yao XOR lemma, computational complexity, probability, probability, Boolean functions, Boolean function, decision theory, decision problem, computational problem, k wise independent
17	Aravind Srinivasan, David Zuckerman	Computing with Very Weak Random Sources	FOCS	1994	DBLP DOI BibTeX RDF	randomness-efficient Leftover Hash Lemma, very weak random sources, RP algorithms simulation, R-bit string, BPP simulations, Chor-Goldreich sources, expander constructions, probability, hardness, time-space tradeoffs, min-entropy
17	E. V. Krishnamurthy, Venu K. Murthy	Fast Iterative Division of p-adic Numbers.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	Hensel lemma, higher order convergence, p-adic numbers, iterate, reciprocal, Newton method, quadratic convergence, Hensel code
13	Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata 0001, Adrián Riesco 0001	Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
13	Mieczyslaw Cichon, Kinga Cichon	On Normed Algebras and the Generalized Maligranda-Orlicz Lemma.	Symmetry	2024	DBLP DOI BibTeX RDF
13	Jiahao Leng, Jun Wang 0128, Kaibo Shi, Jun Cheng 0004, Shiping Wen 0001, Yiqian Tang	Enhanced cubic function negative-determination Lemma on stability analysis for delayed neural networks via new analytical techniques.	J. Frankl. Inst.	2024	DBLP DOI BibTeX RDF
13	Mei Liu	A negative imaginary lemma and state-feedback negative imaginary synthesis for commensurate fractional-order systems.	J. Frankl. Inst.	2024	DBLP DOI BibTeX RDF
13	Silas Richelson, Sourya Roy	Analyzing Ta-Shma's Code via the Expander Mixing Lemma.	IEEE Trans. Inf. Theory	2024	DBLP DOI BibTeX RDF
13	Gabriele Gullà	A short survey around the pumping lemma for context-free languages.	CoRR	2024	DBLP DOI BibTeX RDF
13	Keyang Xuan, Li Yi, Fan Yang, Ruochen Wu, Yi R. Fung 0001, Heng Ji	LEMMA: Towards LVLM-Enhanced Multimodal Misinformation Detection with External Knowledge Augmentation.	CoRR	2024	DBLP DOI BibTeX RDF
13	Buu Phan, Ashish Khisti, Christos Louizos	Importance Matching Lemma for Lossy Compression with Side Information.	CoRR	2024	DBLP DOI BibTeX RDF
13	Artem Chernikov, Henry Towsner	Perfect stable regularity lemma and slice-wise stable hypergraphs.	CoRR	2024	DBLP DOI BibTeX RDF
13	Rémy Tuyéras	Constructing a fully homomorphic encryption scheme with the Yoneda Lemma.	CoRR	2024	DBLP DOI BibTeX RDF
13	Kirsten Eisenträger, Gabrielle Scullard	Connecting Kani's Lemma and path-finding in the Bruhat-Tits tree to compute supersingular endomorphism rings.	CoRR	2024	DBLP DOI BibTeX RDF
13	T. J. Meijer, Koen J. A. Scheres, Sebastiaan van den Eijnden, Tobias Holicki, Carsten W. Scherer, W. P. M. H. Heemels	A General Non-Strict Finsler's Lemma.	CoRR	2024	DBLP DOI BibTeX RDF
13	Oleksii Molodchyk, Timm Faulwasser	Exploring the Links between the Fundamental Lemma and Kernel Regression.	CoRR	2024	DBLP DOI BibTeX RDF
13	Timm Oertel, Joseph Paat, Robert Weismantel	A colorful Steinitz Lemma with application to block-structured integer programs.	Math. Program.	2024	DBLP DOI BibTeX RDF
13	Wouter Kager	A Short Simple Proof of Closedness of Convex Cones and Farkas' Lemma.	Am. Math. Mon.	2024	DBLP DOI BibTeX RDF
13	John R. Steel	The comparison lemma.	Ann. Pure Appl. Log.	2024	DBLP DOI BibTeX RDF
13	Chính T. Hoàng, Cléophée Robin	A Closure Lemma for tough graphs and Hamiltonian degree conditions.	Discret. Math.	2024	DBLP DOI BibTeX RDF
13	Patrizio Angelini, Giordano Da Lozzo, Henry Förster, Thomas Schneck	2-Layer k-Planar Graphs Density, Crossing Lemma, Relationships And Pathwidth.	Comput. J.	2024	DBLP DOI BibTeX RDF
13	Chelsea Edmonds, Lawrence C. Paulson	Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma.	CPP	2024	DBLP DOI BibTeX RDF
13	Nikolai Kudasov, Emily Riehl, Jonathan Weinberger	Formalizing the ∞-Categorical Yoneda Lemma.	CPP	2024	DBLP DOI BibTeX RDF
13	Stefano Berardi, Gabriele Buriola, Peter Schuster 0001	A General Constructive Form of Higman's Lemma.	CSL	2024	DBLP DOI BibTeX RDF
13	Buu Phan, Ashish Khisti, Christos Louizos	Importance Matching Lemma for Lossy Compression with Side Information.	AISTATS	2024	DBLP BibTeX RDF
13	Jeremy Coulson, Henk J. van Waarde, John Lygeros, Florian Dörfler	A Quantitative Notion of Persistency of Excitation and the Robust Fundamental Lemma.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
13	Nima Hamidi, Mohsen Bayati	Technical Note - The Elliptical Potential Lemma for General Distributions with an Application to Linear Thompson Sampling.	Oper. Res.	2023	DBLP DOI BibTeX RDF
13	Ronen Shaltiel	Is it possible to improve Yao's XOR lemma using reductions that exploit the efficiency of their oracle?	Comput. Complex.	2023	DBLP DOI BibTeX RDF
13	Nima Rasekh	Yoneda Lemma for Simplicial Spaces.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
13	Sebastian Junge	Categorical View of the Partite Lemma in Structural Ramsey Theory.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
13	Xu-Kang Chang, Yong He 0003, Zhen-Man Gao	Exponential stability of neural networks with a time-varying delay via a cubic function negative-determination lemma.	Appl. Math. Comput.	2023	DBLP DOI BibTeX RDF
13	Yibo Wang, Changchun Hua, PooGyeon Park, Cheng Qian	Stability criteria for time-varying delay systems via an improved reciprocally convex inequality lemma.	Appl. Math. Comput.	2023	DBLP DOI BibTeX RDF
13	Xiaodong Lu	Stability analysis of nonlinear time-delay singular systems via improved barbălat's lemma.	J. Frankl. Inst.	2023	DBLP DOI BibTeX RDF
13	Sascha Wolfer, Alexander Koplenig, Marc Kupietz, Carolin Müller-Spitzer	Introducing DeReKoGram: A Novel Frequency Dataset with Lemma and Part-of-Speech Information for German.	Data	2023	DBLP DOI BibTeX RDF
13	Ran Gong, Xiaofeng Gao 0002, Qiaozi Gao, Suhaila Shakiah, Govind Thattai, Gaurav S. Sukhatme	LEMMA: Learning Language-Conditioned Multi-Robot Manipulation.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
13	Weiru Guo, Fang Liu 0014, Runmin Zou, Kangzhi Liu 0001	Further results on stability analysis of delayed neural networks via a parameter-dependent quadratic function negative-definiteness lemma.	Int. J. Syst. Sci.	2023	DBLP DOI BibTeX RDF
13	Antonio González Sorribes	Hierarchical conditions for exponential stabilisation of time-varying delay systems using Bessel-Legendre inequalities and Finsler's lemma.	Int. J. Syst. Sci.	2023	DBLP DOI BibTeX RDF
13	Yingying Han, Shaosheng Zhou	H∞ filtering of discrete-time Markovian jump singular systems via bounded real lemma and supermartingale-liked approach.	Int. J. Syst. Sci.	2023	DBLP DOI BibTeX RDF
13	János Karl, Géza Tóth 0001	Crossing lemma for the odd-crossing number.	Comput. Geom.	2023	DBLP DOI BibTeX RDF
13	Daniel Mourad	Computability Theory: Constructive Applications of the Lefthanded Local Lemma and Characterizations of Some Classes of Cohesive Powers.	Bull. Symb. Log.	2023	DBLP DOI BibTeX RDF
13	Guanru Pan, Ruchuan Ou, Timm Faulwasser	On a Stochastic Fundamental Lemma and Its Use for Data-Driven Optimal Control.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
13	Yibo Wang, Changchun Hua, Yunfei Qiu	Stability and Stabilization for Amplidyne Electrical Systems via a Novel Negative-Definiteness Lemma.	IEEE Trans. Syst. Man Cybern. Syst.	2023	DBLP DOI BibTeX RDF
13	An Zou, Yehan Ma, Karthik Garimella, Benjamin Lee, Christopher D. Gill, Xuan Zhang 0001	F-LEMMA: Fast Learning-Based Energy Management for Multi-/Many-Core Processors.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
13		RETRACTED ARTICLE: There are Infinitely Many Mersenne Prime Numbers. Applications of Rasiowa-Sikorski Lemma in Arithmetic (II).	Stud Logica	2023	DBLP DOI BibTeX RDF
13		RETRACTED ARTICLE: The Twin Primes Conjecture is True in the Standard Model of Peano Arithmetic: Applications of Rasiowa-Sikorski Lemma in Arithmetic (I).	Stud Logica	2023	DBLP DOI BibTeX RDF
13	Marcel Fernández, John Livieratos, Sebastià Martín	Bounds and Constructions of Parent Identifying Schemes via the Algorithmic Version of the Lovász Local Lemma.	IEEE Trans. Inf. Theory	2023	DBLP DOI BibTeX RDF
13	Chunyang Wang, Yitong Yin	Correlation decay up to the sampling threshold in the local lemma regime.	CoRR	2023	DBLP DOI BibTeX RDF
13	Jason Vander Woude, Peter Dixon 0002, Aduri Pavan, Jamie Radcliffe, N. V. Vinodchandran	Geometry of Rounding: Near Optimal Bounds and a New Neighborhood Sperner's Lemma.	CoRR	2023	DBLP DOI BibTeX RDF
13	Julien Béguinot, Yi Liu 0066, Olivier Rioul, Wei Cheng 0003, Sylvain Guilley	Maximal Leakage of Masked Implementations Using Mrs. Gerber's Lemma for Min-Entropy.	CoRR	2023	DBLP DOI BibTeX RDF
13	Nikolai Kudasov, Emily Riehl, Jonathan Weinberger	Formalizing the ∞-categorical Yoneda lemma.	CoRR	2023	DBLP DOI BibTeX RDF
13	Marat V. Burnashev	On Stein's lemma in hypotheses testing in general non-asymptotic case.	CoRR	2023	DBLP DOI BibTeX RDF
13	Michael Liaofan Liu, Nathanan Tantivasadakarn, Victor V. Albert	Subsystem CSS codes, a tighter stabilizer-to-CSS mapping, and Goursat's Lemma.	CoRR	2023	DBLP DOI BibTeX RDF
13	Michael Kaufmann 0001, Boris Klemz, Kristin Knorr, Meghana M. Reddy, Felix Schröder, Torsten Ueckerdt	The Density Formula: One Lemma to Bound Them All.	CoRR	2023	DBLP DOI BibTeX RDF
13	Ran Gong, Xiaofeng Gao 0002, Qiaozi Gao, Suhaila Shakiah, Govind Thattai, Gaurav S. Sukhatme	LEMMA: Learning Language-Conditioned Multi-Robot Manipulation.	CoRR	2023	DBLP DOI BibTeX RDF
13	G. Madhuri, Atul Negi	JL-lemma derived Optimal Projections for Discriminative Dictionary Learning.	CoRR	2023	DBLP DOI BibTeX RDF
13	Touheed Anwar Atif, S. Sandeep Pradhan, Andreas Winter	Quantum soft-covering lemma with applications to rate-distortion coding, resolvability and identification via quantum channels.	CoRR	2023	DBLP DOI BibTeX RDF
13	Ashwin Jacob, Diptapriyo Majumdar, Venkatesh Raman 0001	Expansion Lemma - Variations and Applications to Polynomial-Time Preprocessing.	CoRR	2023	DBLP DOI BibTeX RDF
13	Josue N. Rivera, Haiping Xu	An Educational Tool for Exploring the Pumping Lemma Property for Regular Languages.	CoRR	2023	DBLP DOI BibTeX RDF
13	Anton Bernshteyn, Felix Weilacher	Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index.	CoRR	2023	DBLP DOI BibTeX RDF
13	Max Torop, Aria Masoomi, Davin Hill, Kivanç Köse, Stratis Ioannidis, Jennifer G. Dy	SmoothHess: ReLU Network Feature Interactions via Stein's Lemma.	CoRR	2023	DBLP DOI BibTeX RDF
13	T. J. Meijer, Sven Adrianus Nicolaas Nouwens, Victor S. Dolk, W. P. Maurice H. Heemels	A Frequency-Domain Version of Willems' Fundamental Lemma.	CoRR	2023	DBLP DOI BibTeX RDF
13	T. J. Meijer, Tobias Holicki, S. J. A. M. van den Eijnden, Carsten W. Scherer, W. P. Maurice H. Heemels	The Non-Strict Projection Lemma.	CoRR	2023	DBLP DOI BibTeX RDF
13	Hongming Liu, Jingyu Ke, Hongfei Fu 0001, Liqian Chen, Guoqiang Li 0001	Affine Disjunctive Invariant Generation with Farkas' Lemma.	CoRR	2023	DBLP DOI BibTeX RDF
13	Maria J. D. Lima, Flávio L. C. de Moura	A Formalized Extension of the Substitution Lemma in Coq.	FROM	2023	DBLP DOI BibTeX RDF
13	Alexander Shen	The Kraft-Barmpalias-Lewis-Pye lemma revisited.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yanwei Huang, Peng Huang	An improved bounded real lemma for H∞ robust heading control of unmanned surface vehicle.	J. Syst. Control. Eng.	2023	DBLP DOI BibTeX RDF
13	Yan Cao, Rong Luo, Zhengke Miao, Yue Zhao 0008	Vizing's adjacency lemma on edge chromatic critical signed graphs and its applications.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF