Search results for "elimination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Raimondas Ciegis, Vadimas Starikovicius, Jerzy Wasniewski	On the Efficiency of Scheduling Algorithms for Parallel Gaussian Elimination with Communication Delays.	PARA	2000	DBLP DOI BibTeX RDF
21	Reinhard Pichler	Negation Elimination from Simple Equational Formulae.	ICALP	2000	DBLP DOI BibTeX RDF
21	Leonid Libkin	Variable Independence, Quantifier Elimination, and Constraint Representations.	ICALP	2000	DBLP DOI BibTeX RDF
21	Andreas Nonnengart	Hybrid Systems Verification by Location Elimination.	HSCC	2000	DBLP DOI BibTeX RDF
21	Michael Bader, Christoph Zenger 0001	A Fast Solver for Convection Diffusion Equations Based on Nested Dissection with Incomplete Elimination.	Euro-Par	2000	DBLP DOI BibTeX RDF
21	Conor McBride	Elimination with a Motive.	TYPES	2000	DBLP DOI BibTeX RDF
21	Mihai M. Lazarescu, Horst Bunke, Svetha Venkatesh	Graph Matching: Fast Candidate Elimination Using Machine Learning Techniques.	SSPR/SPR	2000	DBLP DOI BibTeX RDF	machine learning, graph matching, graph isomorphism, c4.5, structural pattern recognition, database retrieval, database indexing
21	Robert Pasko, Patrick Schaumont, Veerle Derudder, Serge Vernalde, Daniela Duracková	A new algorithm for elimination of common subexpressions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
21	Koji Iwanuma, Kenichi Kishino	Lemma Generalization and Non-unit Lemma Matching for Model Elimination.	ASIAN	1999	DBLP DOI BibTeX RDF
21	Pedro Alonso 0001, Juan Manuel Peña 0001	Block and Partitioned Neville Elimination.	ACPC	1999	DBLP DOI BibTeX RDF
21	Dan Gusfield, Charles U. Martel	Tresholds for Sports Elimination Numbers Algorithms and Complexity.	WADS	1999	DBLP DOI BibTeX RDF
21	Andreas Dolzmann	Solving Geometric Problems with Real Quantifier Elimination.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
21	Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su 0001, Alexander Aiken	Partial Online Cycle Elimination in Inclusion Constraint Graphs.	PLDI	1998	DBLP DOI BibTeX RDF
21	Igor Stéphan	A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming.	AIMSA	1998	DBLP DOI BibTeX RDF
21	Sela Mador-Haim, Limor Fix	Input Elimination and Abstraction in Model Checking.	FMCAD	1998	DBLP DOI BibTeX RDF
21	Jyh-Herng Chow, Vivek Sarkar	False Sharing Elimination by Selection of Runtime Scheduling Parameters.	ICPP	1997	DBLP DOI BibTeX RDF	runtime scheduling, compilers, shared-memory multiprocessors, parallel loops, false sharing
21	Miodrag Potkonjak, Mani B. Srivastava, Anantha P. Chandrakasan	Multiple constant multiplications: efficient and versatile framework and algorithms for exploring common subexpression elimination.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
21	Christoph W. Keßler	Parallel Fourier-Motzkin Elimination.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
21	Anatoli Degtyarev, Andrei Voronkov	Equality Elimination for the Tableau Method.	DISCO	1996	DBLP DOI BibTeX RDF
21	Peter Baumgartner 0001, Ulrich Furbach	Model Elimination Without Contrapositives.	CADE	1994	DBLP DOI BibTeX RDF
21	Preston Briggs, Keith D. Cooper	Effective Partial Redundancy Elimination.	PLDI	1994	DBLP DOI BibTeX RDF
21	Elias Dahlhaus	The Parallel Complexity of Elimination Ordering Procedures.	WG	1993	DBLP DOI BibTeX RDF
21	Hans L. Bodlaender, John R. Gilbert, Ton Kloks, Hjálmtyr Hafsteinsson	Approximating Treewidth, Pathwidth, and Minimum Elimination Tree Height.	WG	1991	DBLP DOI BibTeX RDF
21	Ralf Hartmut Güting, Thomas Ottmann	New Algorithms for Special Cases of the Hidden Line Elimination Problem.	STACS	1985	DBLP DOI BibTeX RDF
21	Ravi Sethi	Circular Expressions: Elimination of Static Environments.	ICALP	1981	DBLP DOI BibTeX RDF
21	Robert J. Plemmons	Linear Least Squares by Elimination and MGS.	J. ACM	1974	DBLP DOI BibTeX RDF
20	Vu Nguyen Dinh	Combinatorics of Lazard Elimination and Interactions. (Combinatoire de l'élimination de Lazard et Interactions).		2023	RDF
20	Daniel Murfet, William Troiani	Elimination and cut-elimination in multiplicative linear logic.	CoRR	2022	DBLP DOI BibTeX RDF
20	Huu Phuoc Le	On solving parametric polynomial systems and quantifier elimination over the reals : algorithms, complexity and implementations. (Sur la résolution de systèmes polynomiaux paramétriques et l'élimination de quantificateurs sur les réels : algorithmes, complexité et implémentations).		2021	RDF
20	Lucas Böltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans	On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper).	SOQE@KR	2021	DBLP BibTeX RDF
20	Philipp Marohn, Viorica Sofronie-Stokkermans	SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper).	SOQE@KR	2021	DBLP BibTeX RDF
20	Leopoldo E. Bertossi	Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases (Abstract).	SOQE@KR	2021	DBLP BibTeX RDF
20	Christoph Wernhard	Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof.	SOQE@KR	2021	DBLP BibTeX RDF
20	Dennis Peuter, Viorica Sofronie-Stokkermans	Symbol Elimination and Applications to Parametric Entailment Problems (Abstract).	SOQE@KR	2021	DBLP BibTeX RDF
20	Wolfgang Rave, Mostafa Khalili Marandi	The Elimination Game or: Beam Selection based on M-ary Sequential Competition & Elimination.	WSA	2019	DBLP BibTeX RDF
20	Constant Colombo	Élimination de l'impact de la résilience réseau dans un transport de flux vidéo par implémentation dans une architecture SDN contrainte par l'existant. (Elimination of network resilience impact in a video stream transport by implementing an SDN architecture constrained by existing network).		2019	RDF
20	Adam Prenosil	Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics.	Stud Logica	2017	DBLP DOI BibTeX RDF
20	Christoph Wernhard	Early Steps of Second-Order Quantifier Elimination beyond the Monadic Case: The Correspondence between Heinrich Behmann and Wilhelm Ackermann 1928-1934 (Abstract).	SOQE	2017	DBLP BibTeX RDF
20	Marco Voigt	Towards Elimination of Second-Order Quantifiers in the Separated Fragment.	SOQE	2017	DBLP BibTeX RDF
20	Christoph Wernhard	Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas.	SOQE	2017	DBLP BibTeX RDF
20	Silvio Ghilardi, Elena Pagani	Second Order Quantifier Elimination: Towards Verification Applications.	SOQE	2017	DBLP BibTeX RDF
20	Pedro Alonso 0001, Jorge Delgado 0001, Rafael Gallego, Juan Manuel Peña 0001	A collection of examples where Neville elimination outperforms Gaussian elimination.	Appl. Math. Comput.	2010	DBLP DOI BibTeX RDF
20	Hedaya Alasooly, Mohammed Redha	Optimal control of UPFC for load flow control and voltage flicker elimination and current harmonics elimination.	Comput. Math. Appl.	2010	DBLP DOI BibTeX RDF
20	Joe Sawada, Jeremy P. Spinrad	From a simple elimination ordering to a strong elimination ordering in linear time.	Inf. Process. Lett.	2003	DBLP DOI BibTeX RDF
20	Matthias Baaz, Alexander Leitsch	Cut-elimination and Redundancy-elimination by Resolution.	J. Symb. Comput.	2000	DBLP DOI BibTeX RDF
20	Dongming Wang 0001	Méthodes d'élimination et applications. (Elimination methods).		1999	RDF
20	Eng-Wee Chionh, Ronald N. Goldman	Elimination and resultants. 1. Elimination and bivariate resultants.	IEEE Computer Graphics and Applications	1995	DBLP DOI BibTeX RDF
18	Kazuo Iwama, Hiroki Morizumi, Jun Tarui	Negation-Limited Complexity of Parity and Inverters.	Algorithmica	2009	DBLP DOI BibTeX RDF	Negation-limited circuit, Parity function, Inversion complexity, Gate elimination, Circuit complexity, Inverter
18	Dov M. Gabbay, Andrzej Szalas	Voting by Eliminating Quantifiers.	Stud Logica	2009	DBLP DOI BibTeX RDF	voting, quantifier elimination, social choice
18	Norihiro Kamide	Proof Systems Combining Classical and Paraconsistent Negations.	Stud Logica	2009	DBLP DOI BibTeX RDF	Paraconsistent negation, completeness, sequent calculus, cut-elimination
18	K. Subramani 0001	Optimal Length Resolution Refutations of Difference Constraint Systems.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Difference constraint systems, Resolution refutation, Optimal length, Minimum unsatisfiable subset, Fourier-Motzkin elimination
18	David Monniaux	Automatic modular abstractions for linear constraints.	POPL	2009	DBLP DOI BibTeX RDF	program transformation, abstract interpretation, quantifier elimination, linear inequalities
18	Andrés Cano, Manuel Gómez-Olmedo, Serafín Moral	Binary Probability Trees for Bayesian Networks Inference.	ECSQARU	2009	DBLP DOI BibTeX RDF	Bayesian networks inference, variable elimination algorithm, probability trees, deterministic algorithms, approximate computation
18	Arash Arfaee, Ali Irturk, Nikolay Laptev, Farzan Fallah, Ryan Kastner	Xquasher: a tool for efficient computation of multiple linear expressions.	DAC	2009	DBLP DOI BibTeX RDF	DSP transforms, common sub-expression elimination, linear expression, multiple constant multiplications, area optimization
18	Kaushik Roy 0002, Prabir Bhattacharya	Level Set Approaches and Adaptive Asymmetrical SVMs Applied for Nonideal Iris Recognition.	ICIAR	2009	DBLP DOI BibTeX RDF	level set based curve evolution, adaptive asymmetrical SVMs, recursive feature elimination, Daubechies wavelets transform, Iris recognition, Mumford-Shah functional
18	Felix Klaedtke	Bounds on the automata size for Presburger arithmetic.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Automata-based decision procedures, complexity, quantifier elimination, Presburger arithmetic
18	Andreas Brandstädt, Chính T. Hoàng	Maximum Induced Matchings for Chordal Graphs in Linear Time.	Algorithmica	2008	DBLP DOI BibTeX RDF	Maximum induced matchings, Perfect elimination order, Lexicographic breadth-first search, Chordal graphs, Linear time algorithm
18	Wei Niu 0001, Dongming Wang 0001	Algebraic Approaches to Stability Analysis of Biological Systems.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	discriminant variety, Gröbner basis, real solution classification, self-assembling micelle system, stability, CAD, equilibrium, quantifier elimination, Bifurcation, steady state, biological model, triangular decomposition
18	Wenqin Zhou, David J. Jeffrey	Fraction-free matrix factors: new forms for LU and QR factors.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	fraction free LU factoring, fraction free Gaussian elimination, fraction free QR factoring, complexity analysis
18	Brian R. Murphy, Vijay Menon 0002, Florian T. Schneider, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai	Fault-safe code motion for type-safe languages.	CGO	2008	DBLP DOI BibTeX RDF	safe code motion, safety dependences, speculative code motion, scheduling, code motion, partial redundancy elimination, intermediate representations
18	Vijay Sundaresan, Mark G. Stoodley, Pramod Ramarao	Removing redundancy via exception check motion.	CGO	2008	DBLP DOI BibTeX RDF	java, just-in-time compilation, partial redundancy elimination
18	Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui	From Axioms to Analytic Rules in Nonclassical Logics.	LICS	2008	DBLP DOI BibTeX RDF	nonclassical logics, hypersequent calculi, semantic cut-elimination, sequent calculi
18	Olarik Surinta, Rapeeporn Chamchong	Image Segmentation of Historical Handwriting from Palm Leaf Manuscripts.	Intelligent Information Processing	2008	DBLP DOI BibTeX RDF	Palm Leaf Manuscript, Background Elimination, Otsu’s Algorithm, Image Processing, Image Segmentation
18	Songxin Liang, David J. Jeffrey, Marc Moreno Maza	The complete root classification of a parametric polynomial on an interval.	ISSAC	2008	DBLP DOI BibTeX RDF	complete root classification, parametric polynomial, real quantifier elimination, interval, real root
18	Alessio Guglielmi	A system of interaction and structure.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	mix rule, noncommutativity, pomset logic, symmetry, linear logic, cut elimination, self-duality, deep inference, Calculus of structures
18	Yuchun Tang, Yan-Qing Zhang 0001, Zhen Huang	Development of Two-Stage SVM-RFE Gene Selection Strategy for Microarray Expression Data Analysis.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	Microarray Gene Expression Data Analysis, Recursive Feature Elimination, Support Vector Machines, Feature Selection, Bioinformatics, Gene Selection, Cancer Classification
18	Aleksandra Kislak-Malinowska	On the Logic of beta -pregroups.	Stud Logica	2007	DBLP DOI BibTeX RDF	?-pregroup, normalization theorem, cut elimination, Pregroup
18	Anup Hosangadi, Farzan Fallah, Ryan Kastner	Algebraic Methods for Optimizing Constant Multiplications in Linear Systems.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	constant multiplications, DSP synthesis, high level synthesis, linear systems, common subexpression elimination, algebraic methods
18	Morteza Moniri	Preservation theorems for bounded formulas.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Polynomial induction, Model completeness, Universal theory, Quantifier elimination, Intuitionistic logic, NP, Bounded arithmetic, Polynomial hierarchy, Kripke model
18	Annie Foret	Pregroup Calculus as a Logic Functor.	WoLLIC	2007	DBLP DOI BibTeX RDF	Lambek Categorial Grammars, Logic Functor, Cut Elimination, Pregroups
18	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan	Generating Polynomial Invariants with DISCOVERER and QEPCAD.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Quantifier Elimination, Invariant Generation, Polynomial Programs
18	André Platzer	Differential Dynamic Logic for Verifying Parametric Hybrid Systems.	TABLEAUX	2007	DBLP DOI BibTeX RDF	verification of parametric hybrid systems, dynamic logic, quantifier elimination, sequent calculus
18	Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara	Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization.	ISSAC	2007	DBLP DOI BibTeX RDF	Gröbner basis, polynomial spectral factorization, H2 control, sum of roots, quantifier elimination, parametric optimization
18	Matthias Baaz, Rosalie Iemhoff	Gentzen Calculi for the Existence Predicate.	Stud Logica	2006	DBLP DOI BibTeX RDF	existence predicate, Gentzen calculus, truth-value logics, Gödel logics, Scott logics, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
18	Bogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar	Redundancy and coverage detection in sensor networks.	ACM Trans. Sens. Networks	2006	DBLP DOI BibTeX RDF	coverage boundary, Sensor networks, energy efficiency, coverage, redundancy elimination
18	Hanan A. Mahmoud, Sumeer Goel, Mohsen Shaaban, Magdy A. Bayoumi	A New Efficient Block-Matching Algorithm for Motion Estimation.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	successive elimination, MIME, motion-estimation, block-matching
18	Carlos Grandón, Alexandre Goldsztejn	Inner approximation of distance constraints with existential quantification of parameters.	SAC	2006	DBLP DOI BibTeX RDF	AE-solution set, distance constraint, inner approximation, quantifier elimination, generalized intervals
18	Levente Buttyán, Péter Schaffer, István Vajda	RANBAR: RANSAC-based resilient aggregation in sensor networks.	SASN	2006	DBLP DOI BibTeX RDF	outlier elimination, random sample consensus, resilient aggregation, sensor networks
18	Lingxiao Jiang, Zhendong Su 0001	Osprey: a practical type system for validating dimensional unit correctness of C programs.	ICSE	2006	DBLP DOI BibTeX RDF	measurement units, type systems, Gaussian elimination, dimensional analysis, constraint-based analysis
18	Arun Kejariwal, Alexandru Nicolau, Hideki Saito 0001, Xinmin Tian, Milind Girkar, Utpal Banerjee, Constantine D. Polychronopoulos	A general approach for partitioning N-dimensional parallel nested loops with conditionals.	SPAA	2006	DBLP DOI BibTeX RDF	partitioning, conditionals, parallel loops, affine, Fourier-Motzkin elimination
18	Viktor Levandovskyy	Intersection of ideals with non-commutative subalgebras.	ISSAC	2006	DBLP DOI BibTeX RDF	homomorphism of algebras, intersection with subalgebra, non-commutative algebra, preimage of ideal, restriction, elimination, Groebner bases
18	Yici Cai, Jin Shi, Zuying Luo, Xianlong Hong	Modeling and Analysis of Mesh Tree Hybrid Power/Ground Networks with Multiple Voltage Supply in Time Domain.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	power/ground network, mesh tree hybrid, multi-source, Choleskey decomposition, fast variable elimination, simulation, VLSI
18	Henry Towsner	Epsilon substitution for transfinite induction.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Epsilon substitution, Cut elimination
18	Matthias Baaz, Rosalie Iemhoff	On Interpolation in Existence Logics.	LPAR	2005	DBLP DOI BibTeX RDF	existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
18	Christos Kravvaritis, Marilena Mitrouli, Jennifer Seberry	Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices.	CASC	2005	DBLP DOI BibTeX RDF	complete pivoting, weighing matrices, symbolic computation, Gaussian elimination, growth
18	Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama	Sum of roots with positive real parts.	ISSAC	2005	DBLP DOI BibTeX RDF	Gröbner basis, optimal regulator control, sum of roots with positive real parts, quantifier elimination, resultant
18	Iain S. Duff, Jennifer A. Scott	A parallel direct solver for large sparse highly unsymmetric linear systems.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	highly unsymmetric linear systems, parallel processing, Sparse matrices, Gaussian elimination
18	Jin Lin, Tong Chen 0010, Wei-Chung Hsu, Pen-Chung Yew, Roy Dz-Ching Ju, Tin-Fook Ngai, Sun Chan	A compiler framework for speculative optimizations.	ACM Trans. Archit. Code Optim.	2004	DBLP DOI BibTeX RDF	speculative SSA form, speculative weak update, partial redundancy elimination, Data speculation, register promotion
18	Gerasimos Louverdis, Ioannis Andreadis	Soft Morphological Filtering Using a Fuzzy Model and its Application to Colour Image Processing.	Pattern Anal. Appl.	2004	DBLP DOI BibTeX RDF	Colour image processing, Soft mathematical morphology, Edge detection, Fuzzy systems, Noise elimination
18	Stefano Baratella, Andrea Masini	An approach to infinitary temporal proof theory.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Modal logic, Proof theory, Sequent calculus, Cut elimination, Infinitary logic
18	Nicolas T. Courtois	General Principles of Algebraic Attacks and New Design Criteria for Cipher Components.	AES Conference	2004	DBLP DOI BibTeX RDF	polynomial relations, design of cryptographic primitives, generalised linear cryptanalysis, multivariate public key encryption and signature schemes, Quartz, combiners with memory, elimination methods, Gröbner bases, Boolean functions, stream ciphers, block ciphers, AES, finite fields, algebraic attacks, Rijndael, Serpent, HFE, Sflash, multivariate equations
18	Vagner S. Rosa, Eduardo A. C. da Costa, José C. Monteiro 0001, Sergio Bampi	An improved synthesis method for low power hardwired FIR filters.	SBCCI	2004	DBLP DOI BibTeX RDF	FPGA synthesis, parallel FIR filter, power-of-two, common subexpression elimination
18	Wen-Yang Lin	Finding Optimal Ordering of Sparse Matrices for Column-Oriented Parallel Cholesky Factorization.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	column task graph, sparse matrix ordering, parallel computing, Cholesky factorization, elimination tree
18	Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin	Definable relations and first-order query languages over strings.	J. ACM	2003	DBLP DOI BibTeX RDF	first-order definability, query languages, Strings, expressive power, quantifier elimination
18	Bruno Blanchet	Escape analysis for JavaTM: Theory and practice.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	stack allocation, synchronization elimination, Java, optimization, static analysis
18	Jing Li 0002, Tao Jiang 0001	Efficient rule-based haplotyping algorithms for pedigree data.	RECOMB	2003	DBLP DOI BibTeX RDF	Gaussian elimination over Z2, pedigree analysis, algorithm, time complexity, SNP, recombination, haplotyping
18	Gang Chen	Coercive subtyping for the calculus of constructions.	POPL	2003	DBLP DOI BibTeX RDF	calculus of constructions, semantics of coercions, transitivity elimination, subtyping, coercion
18	Ruofei Zhang, Zhongfei (Mark) Zhang	Addressing CBIR efficiency, effectiveness, and retrieval subjectivity simultaneously.	Multimedia Information Retrieval	2003	DBLP DOI BibTeX RDF	Adaptive Region Weight Updating (ARWU), Fast And Semantics-Tailored Retrieval (FAST), Hierarchical Elimination-based A* Retrieval (HEAR), Indexing Tree Pruning (ITP), region based features, fuzzy logic, relevance feedback, Content Based Image Retrieval (CBIR)
18	Ryuhei Uehara	Linear Time Algorithms on Chordal Bipartite and Strongly Chordal Graphs.	ICALP	2002	DBLP DOI BibTeX RDF	Chordal bipartite graphs, lexicographic breadth first search, vertex elimination ordering, strongly chordal graphs, design and analysis of algorithms
18	Arnold Beckmann	Resolution Refutations and Propositional Proofs with Height-Restrictions.	CSL	2002	DBLP DOI BibTeX RDF	Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus