Search results for "enumeration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
91	Taiga Takata, Yusuke Matsunaga	An efficient cut enumeration for depth-optimum technology mapping for LUT-based FPGAs.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	FPGA, logic synthesis, technology mapping
90	Margareta Ackerman, Jeffrey O. Shallit	Efficient Enumeration of Regular Languages.	CIAA	2007	DBLP DOI BibTeX RDF	nondeterministic finite automaton, radix order, enumeration, regular language, lexicographical order
65	Roberto Aringhieri, Pierre Hansen, Federico Malucelli	Chemical trees enumeration algorithms.	4OR	2003	DBLP DOI BibTeX RDF	Exact enumeration problems, enumeration of graphs and maps, applications, trees, generating functions
63	Yun Chi, Yirong Yang, Yi Xia, Richard R. Muntz	CMTreeMiner: Mining Both Closed and Maximal Frequent Subtrees.	PAKDD	2004	DBLP DOI BibTeX RDF	closed subtree, maximal subtree, enumeration tree, rooted unordered tree, Frequent subtree
63	Jack Liu, Fred C. Chow	A near-optimal instruction scheduler for a tightly constrained, variable instruction set embedded processor.	CASES	2002	DBLP DOI BibTeX RDF	configurable code generation, variable instruction set, embedded processor, instruction scheduling, dictionary, enumeration, program representation, resource modeling
59	Feng Pan, Anthony K. H. Tung, Gao Cong, Xin Xu	COBBLER: Combining Column and Row Enumeration for Closed Pattern Discovery.	SSDBM	2004	DBLP DOI BibTeX RDF
59	Irith Pomeranz, Sudhakar M. Reddy	Improving the Efficiency of Static Compaction Based on Chronological Order Enumeration of Test Sequences.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF
58	Naoki Katoh, Shin-ichi Tanigawa	Fast enumeration algorithms for non-crossing geometric graphs.	SCG	2008	DBLP DOI BibTeX RDF	non-crossing geometric graphs, triangulation, enumeration
57	Hristo Ganchev	Exact Pair Theorem for the omega -Enumeration Degrees.	CiE	2007	DBLP DOI BibTeX RDF	969, enumeration degrees, enumeration degrees, exact pair, jump
56	Kees van Reeuwijk, Will Denissen, Henk J. Sips, Edwin M. R. M. Paalvast	An Implementation Framework for HPF Distributed Arrays on Message-Passing Parallel Computer Systems.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	message aggregation, parallel computers, message passing, HPF, distributed arrays
55	Henning Schnoor, Ilka Schnoor	Enumerating All Solutions for Constraint Satisfaction Problems.	STACS	2007	DBLP DOI BibTeX RDF	computational complexity, constraints, enumeration
53	Leonid Khachiyan, Endre Boros, Konrad Borys, Khaled M. Elbassioni, Vladimir Gurvich	Generating all vertices of a polyhedron is hard.	SODA	2006	DBLP DOI BibTeX RDF	enumeration problem, facet enumeration, feasible system, negative cycle, polytope-polyhedron problem, vertex enumeration, graph, cycle, face, polytope, polyhedron, facet, vertex, linear inequalities
51	Tomohiko Mizutani, Akiko Takeda, Masakazu Kojima	Dynamic Enumeration of All Mixed Cells.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
51	Gene Cooperman, Victor Grinberg	Scalable parallel coset enumeration using bulk definition.	ISSAC	2001	DBLP DOI BibTeX RDF
50	Brent ByungHoon Kang, Eric Chan-Tin, Christopher P. Lee 0001, James Tyra, Hun Jeong Kang, Chris Nunnery, Zachariah Wadler, Greg Sinclair, Nicholas Hopper, David Dagon, Yongdae Kim	Towards complete node enumeration in a peer-to-peer botnet.	AsiaCCS	2009	DBLP DOI BibTeX RDF	infected hosts enumeration, storm, P2P, botnet
50	William Hendrix, Matthew C. Schmidt, Paul Breimyer, Nagiza F. Samatova	On perturbation theory and an algorithm for maximal clique enumeration in uncertain and noisy graphs.	KDD Workshop on Knowledge Discovery from Uncertain Data	2009	DBLP DOI BibTeX RDF	graph perturbation theory, maximal clique enumeration, graph algorithms, biological applications
50	Hans Raj Tiwary, Khaled M. Elbassioni	On the complexity of checking self-duality of polytopes and its relations to vertex enumeration and graph isomorphism.	SCG	2008	DBLP DOI BibTeX RDF	vertex enumeration, computational geometry, graph isomorphism, polytopes, isomorphism, self-duality
50	David DeHaan, Frank Wm. Tompa	Optimal top-down join enumeration.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	join enumeration, dynamic programming, query optimization, branch-and-bound, memoization, top-down
43	António Morgado 0001, João Marques-Silva 0001	Good Learning and Implicit Model Enumeration.	ICTAI	2005	DBLP DOI BibTeX RDF
43	J. B. Wells, Boris Yakobowski	Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.	LOPSTR	2004	DBLP DOI BibTeX RDF
43	David Bremner, Komei Fukuda, Ambros Marzetta	Primal - Dual Methods for Vertex and Facet Enumeration.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
42	Mohammad S. Sabbagh, Richard M. Soland	An improved partial enumeration algorithm for integer programming problems.	Ann. Oper. Res.	2009	DBLP DOI BibTeX RDF	Partial enumeration speedup, Integer programming
42	Yannick Vimont, Sylvain Boussier, Michel Vasquez	Reduced costs propagation in an efficient implicit enumeration for the 01 multidimensional knapsack problem.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Implicit enumeration, Variable fixing, Reduced costs, Constraint propagation, Multidimensional knapsack problem
42	Vincent T'kindt, Karima Bouibede-Hocine, Carl Esswein	Counting and enumeration complexity with application to multicriteria scheduling.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF	Complexity, Enumeration, Counting, Multicriteria scheduling
42	Hiroki Arimura, Takeaki Uno	An efficient polynomial space and polynomial delay algorithm for enumeration of maximal motifs in a sequence.	J. Comb. Optim.	2007	DBLP DOI BibTeX RDF	Maximal motif, Data mining, Algorithm, Delay, Polynomial time, Pattern discovery, Enumeration, Motif, Sequence mining, Closed pattern, Closed itemset
42	Peiyi Tang, Markus P. Turkia	Mining frequent itemsets with partial enumeration.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	k-prefix partitioning, conditional databases, partial enumeration, frequent itemsets
42	Vincent T'kindt, Karima Bouibede-Hocine, Carl Esswein	Counting and enumeration complexity with application to multicriteria scheduling.	4OR	2005	DBLP DOI BibTeX RDF	complexity, enumeration, counting, Multicriteria scheduling
42	Ivan T. Bowman, G. N. Paulley	Join Enumeration in a Memory-Constrained Environment.	ICDE	2000	DBLP DOI BibTeX RDF	join enumeration, branch-and-bound techniques, Sybase SQL Anywhere, left-deep processing tree, relational databases, Query optimization
42	Subhamoy Maitra, Palash Sarkar 0001	Enumeration of Correlation Immune Boolean Functions.	ACISP	1999	DBLP DOI BibTeX RDF	Boolean Function, Stream Cipher, Symmetry, Nonlinearity, Enumeration, Balancedness, Correlation Immunity, Nondegeneracy
39	Katta G. Murty	A problem in enumerating extreme points, and an efficient algorithm for one class of polytopes.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Convex polytopes and their dual polytopes, FCFs (facetal constraint functions), Enumeration of extreme points, Mukkas, Mukkadvayams, Central problem and strategy for its solution, Nearest points, Linear and convex quadratic programs, Segments, Adjacency
39	Yoshio Okamoto, Takeaki Uno, Ryuhei Uehara	Linear-Time Counting Algorithms for Independent Sets in Chordal Graphs.	WG	2005	DBLP DOI BibTeX RDF	# P-completeness, NP-completeness, polynomial time algorithm, enumeration, independent set, Chordal graph, counting
39	Yun Chi, Yirong Yang, Richard R. Muntz	HybridTreeMiner: An Efficient Algorithm for Mining Frequent Rooted Trees and Free Trees Using Canonical Form.	SSDBM	2004	DBLP DOI BibTeX RDF	tree iso-morphism, enumeration tree, rooted unordered tree, free tree, canonical form, frequent subtree
35	Jianxin Wang 0001, Beiwei Chen, Qilong Feng, Jianer Chen	An Efficient Fixed-Parameter Enumeration Algorithm for Weighted Edge Dominating Set.	FAW	2009	DBLP DOI BibTeX RDF
35	Maria L. Affatato, Thomas F. Kent, Andrea Sorbi	Branching in the S02{Sigma02}-enumeration degrees: a new perspective.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D28, 03D30
35	Tim Todman, Haohuan Fu, Brittle Tsoi, Oskar Mencer, Wayne Luk	Smart Enumeration: A Systematic Approach to Exhaustive Search.	PATMOS	2008	DBLP DOI BibTeX RDF
35	Wei-bang Chen, Chengcui Zhang	Bacteria Colony Enumeration and Classification for Clonogenic Assay.	ISM	2008	DBLP DOI BibTeX RDF
35	Mariya Ivanova Soskova	Cupping Classes of Enumeration Degrees.	CiE	2008	DBLP DOI BibTeX RDF
35	Dong (Haoyuan) Li, Anne Laurent, Maguelonne Teisseire	On Transversal Hypergraph Enumeration in Mining Sequential Patterns.	IDEAS	2007	DBLP DOI BibTeX RDF
35	Peiyi Tang, Markus P. Turkia	Mining frequent web access patterns with partial enumeration.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF
35	Charles M. Harris	Symmetric Enumeration Reducibility.	CiE	2005	DBLP DOI BibTeX RDF
35	Aseem Agarwal, Vladimir Zolotov, David T. Blaauw	Statistical timing analysis using bounds and selective enumeration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
35	Evan J. Griffiths	Limit lemmas and jump inversion in the enumeration degrees.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
35	Aseem Agarwal, David T. Blaauw, Vladimir Zolotov, Sarma B. K. Vrudhula	Statistical timing analysis using bounds and selective enumeration.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF
35	Will Denissen, Henk J. Sips	Efficient Dynamic Local Enumeration for HPF.	LCPC	2000	DBLP DOI BibTeX RDF
35	Takeaki Uno	A New Approach for Speeding Up Enumeration Algorithms.	ISAAC	1998	DBLP DOI BibTeX RDF
35	Arild Fuldseth, Ilangko Balasingham, Tor A. Ramstad	Efficient Coding of the Classification Table in Low Bit Rate Subband Image Coding by Use of Hierarchical Enumeration.	ICIP (2)	1997	DBLP DOI BibTeX RDF
35	John M. Gravley, Arun Lakhotia	Identifying Enumeration Types Modeled with Symbolic Constants.	WCRE	1996	DBLP DOI BibTeX RDF
34	Ghassan Shobaki, Kent D. Wilken, Mark Heffernan	Optimal trace scheduling using enumeration.	ACM Trans. Archit. Code Optim.	2009	DBLP DOI BibTeX RDF	branch-and-bound enumeration, global instruction scheduling, optimal instruction scheduling, compiler optimizations, instruction-level parallelism, Instruction scheduling, trace scheduling
34	YunMei Dong	Linear algorithm for lexicographic enumeration of CFG parse trees.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	hierarchical construction of set of parse trees, lexicographic enumeration of parse trees, counting of parse trees
34	Steffen Rebennack, Josef Kallrath, Panos M. Pardalos	Column enumeration based decomposition techniques for a class of non-convex MINLP problems.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Column enumeration, Decomposition, Packing, MINLP
34	Toshiki Saitoh, Yota Otachi, Katsuhisa Yamanaka, Ryuhei Uehara	Random Generation and Enumeration of Bipartite Permutation Graphs.	ISAAC	2009	DBLP DOI BibTeX RDF	Bipartite permutation graph, Dyck path, Motzkin path, enumeration, counting, random generation
34	Toshiki Saitoh, Katsuhisa Yamanaka, Masashi Kiyomi, Ryuhei Uehara	Random Generation and Enumeration of Proper Interval Graphs.	WALCOM	2009	DBLP DOI BibTeX RDF	proper interval graphs, unit interval graphs, enumeration, Counting, random generation
34	Tushar S. Kulkarni, Bernd S. W. Schröder	An Enumeration Problem in Ordered Sets Leads to Possible Benchmarks for Run-Time Prediction Algorithms.	ICFCA	2006	DBLP DOI BibTeX RDF	search, constraint satisfaction, enumeration
34	D. Kebbal	Automatic Flow Analysis Using Symbolic Execution and Path Enumeration.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	static WCET analysis, automatic parametric flow analysis, block-based symbolic execution, path enumeration, hard real-time systems
34	Ghassan Shobaki, Kent D. Wilken	Optimal Superblock Scheduling Using Enumeration.	MICRO	2004	DBLP DOI BibTeX RDF	global instruction scheduling, compiler optimizations, enumeration, optimal scheduling, superblock
34	Alioune Ngom, Corina Reischer, Ivan Stojmenovic	Classification of Functions and Enumeration of Bases of Set Logic under Boolean Compositions.	ISMVL	1995	DBLP DOI BibTeX RDF	set logic bases enumeration, functions classification, Boolean compositions, r-valued set logic, n-tuples, B-maximal sets, set logic, one-place example function, one-place set logic functions, B-Sheffer functions, Boolean functions, Boolean functions, set theory, multivalued logic
32	Laura Chiticariu, Phokion G. Kolaitis, Lucian Popa 0001	Interactive generation of integrated schemas.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	concept graph, interactive generation, data integration, schema mapping, schema integration, model management
32	Eric Hung-Yu Tseng, Jean-Luc Gaudiot	Communication Generation for Aligned and Cyclic(K) Distributions Using Integer Lattice.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	message passing, HPF, communication optimizations, Distributed arrays, Smith-Normal-Form
32	Hi-Keung Tony Ma, Srinivas Devadas, Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli	Logic verification algorithms and their parallel implementation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
32	Hi-Keung Tony Ma, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei	Logic Verification Algorithms and Their Parallel Implementation.	DAC	1987	DBLP DOI BibTeX RDF
31	Benny Kimelfeld, Christopher Ré	Transducing Markov sequences.	PODS	2010	DBLP DOI BibTeX RDF	Markov sequences, ranked query evaluation, hidden Markov models, probabilistic databases, enumeration, transducers
31	Yun S. Song, Rune B. Lyngsø, Jotun Hein	Counting All Possible Ancestral Configurations of Sample Sequences in Population Genetics.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	Ancestral configurations, enumeration, recombination, contingency table, coalescent
31	Shyh-Kwei Chen	An Exact Closed-Form Formula for d-Dimensional Quadtree Decomposition of Arbitrary Hyperrectangles.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	regular decomposition, geometric data, combinatorial enumeration, binary coding system, Quadtree
31	Pan Yu, Tulika Mitra	Scalable custom instructions identification for instruction-set extensible processors.	CASES	2004	DBLP DOI BibTeX RDF	subgraph enumeration algorithm, ASIPs, instruction-set extensions, customizable processors
31	Jack Liu, Fred C. Chow, Timothy Kong, Rupan Roy	Variable Instruction Set Architecture and Its Compiler Support.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Configurable code generation, variable instruction set, embedded processor, instruction scheduling, dictionary, enumeration, program representation, resource modeling
31	Marko Mäkelä	Model Checking Safety Properties in Modular High-Level Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	state space enumeration, model checking, modular systems, high-level nets
31	Jack Liu, Timothy Kong, Fred C. Chow	Effective Compilation Support for Variable Instruction Set Architecture.	IEEE PACT	2002	DBLP DOI BibTeX RDF	configurable code generation, variable instruction set, embedded processor, instruction scheduling, dictionary, enumeration, program representation, resource modeling
31	Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford	Formally Linking MDG and HOL Based on a Verified MDG System.	IFM	2002	DBLP DOI BibTeX RDF	hybrid verification systems, deductive theorem proving, symbolic state enumeration, usability verification, hardware verification
31	Frans Coenen, Graham Goulbourne, Paul H. Leng	Computing Association Rules Using Partial Totals.	PKDD	2001	DBLP DOI BibTeX RDF	Data Structures, Association Rules, Set Enumeration Tree
31	Gilles Audemard, Belaid Benhamou, Pierre Siegel	AVAL: An Enumerative Method for SAT.	Computational Logic	2000	DBLP DOI BibTeX RDF	satisfiability, enumeration, deduction
31	Irith Pomeranz, Sudhakar M. Reddy	Test generation for multiple state-table faults in finite-state machines.	ICCD	1995	DBLP DOI BibTeX RDF	multiple state-table faults, incompletely specified faulty machines, implicit fault enumeration, fault diagnosis, logic testing, test generation, finite state machines, finite-state machines
30	Zhaoshui He, Andrzej Cichocki, Shengli Xie, Kyuwan Choi	Detecting the Number of Clusters in n-Way Probabilistic Clustering.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	Multiway clustering, parallel factor analysis (PARAFAC), model order selection, multiway array, higher order tensor, supersymmetric tensors, affinity arrays, enumeration of clusters, estimation of PARAFAC components, principal components enumeration, hypergraph, probabilistic clustering
30	Tsutomu Sasao, Kozo Kinoshita	On the Number of Fanout-Free Functions and Unate Cascade Functions.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	disjunctive networks, enumeration of equivalence classes, enumeration of switching functions, fanout-free function, Cascade, threshold function, unate function
27	Martin Gebser, Benjamin Kaufmann, Torsten Schaub	Solution Enumeration for Projected Boolean Search Problems.	CPAIOR	2009	DBLP DOI BibTeX RDF
27	Andrea Sorbi, Guohua Wu, Yue Yang 0004	High Minimal Pairs in the Enumeration Degrees.	TAMC	2009	DBLP DOI BibTeX RDF
27	Hristo Ganchev	Definability in the Local Theory of the omega-Enumeration Degrees.	CiE	2009	DBLP DOI BibTeX RDF
27	Margareta Ackerman, Erkki Mäkinen	Three New Algorithms for Regular Language Enumeration.	COCOON	2009	DBLP DOI BibTeX RDF
27	Lei Zhang 0020, Anamitra Makur	Enumeration of Downsampling Lattices in Two-Dimensional Multirate Systems.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
27	Natwar Modani, Kuntal Dey	Large maximal cliques enumeration in sparse graphs.	CIKM	2008	DBLP DOI BibTeX RDF	filtering, maximal clique
27	Xavier Pujol, Damien Stehlé	Rigorous and Efficient Short Lattice Vectors Enumeration.	ASIACRYPT	2008	DBLP DOI BibTeX RDF	SVP, lattice cryptanalysis, Lattices, numerical stability
27	Changlin Wan, Zhongzhi Shi	Solving Medium-Density Subset Sum Problems in Expected Polynomial Time: An Enumeration Approach.	FAW	2008	DBLP DOI BibTeX RDF
27	Bin Fu, Zhixiang Chen 0001	A Sublinear Time Randomized Algorithm for Coset Enumeration in the Black Box Model.	COCOON	2008	DBLP DOI BibTeX RDF
27	K. Sivakumar, K. Garg	Constructing a "Common Cross Site Scripting Vulnerabilities Enumeration (CXE)" Using CWE and CVE.	ICISS	2007	DBLP DOI BibTeX RDF	Secure code, PHP Vulnerabilities, CWE, CVE, Web Security, XSS
27	Chengcui Zhang, Wei-bang Chen	An Effective and Robust Method for Automatic Bacterial Colony Enumeration.	ICSC	2007	DBLP DOI BibTeX RDF
27	Jian Yin 0001, Zhilan Huang, Yubao Liu, Jiarong Cai, Jian Chen 0011	An Effective Maximal Subspace Clustering Algorithm Based on Enumeration Tree.	FSKD (1)	2007	DBLP DOI BibTeX RDF
27	Éric Monfroy, Carlos Castro 0001, Broderick Crawford	Using Local Search for Guiding Enumeration in Constraint Solving.	AIMSA	2006	DBLP DOI BibTeX RDF
27	Hiroki Arimura, Takeaki Uno	A Polynomial Space and Polynomial Delay Algorithm for Enumeration of Maximal Motifs in a Sequence.	ISAAC	2005	DBLP DOI BibTeX RDF
27	Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor	Experiences with Enumeration of Integer Projections of Parametric Polytopes.	CC	2005	DBLP DOI BibTeX RDF
27	Alexander A. Sapozhenko	Systems of Containers and Enumeration Problems.	SAGA	2005	DBLP DOI BibTeX RDF
27	Iskander Sh. Kalimullin	On the Problems of Definability in the Enumeration Degrees.	CiE	2005	DBLP DOI BibTeX RDF
27	Weiyu Xu, Youzheng Wang, Jing Wang 0001	A fast exact ML sphere decoder with efficient two-layer enumeration.	VTC Fall (2)	2004	DBLP DOI BibTeX RDF
27	Kaviraj Chopra, Sarma B. K. Vrudhula	Implicit pseudo boolean enumeration algorithms for input vector control.	DAC	2004	DBLP DOI BibTeX RDF	power, CMOS, SAT, binary decision diagrams, leakage, symbolic methods
27	Artur Andrzejak 0001	Memory-Efficient and Fast Enumeration of Global States.	IV	2003	DBLP DOI BibTeX RDF
27	Michael Domaratzki	On Enumeration of Müller Automata.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
27	Nagiza F. Samatova, Al Geist, George Ostrouchov, Anatoli V. Melechko	Parallel Out-of-Core Algorithm for Genome-Scale Enumeration of Metabolic Systemic Pathways.	IPDPS	2002	DBLP DOI BibTeX RDF
27	Henning Fernau	On Parameterized Enumeration.	COCOON	2002	DBLP DOI BibTeX RDF
27	Ivan N. Soskov	A jump inversion theorem for the enumeration jump.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991):03D30
27	G. David Bailey	Coherence and Enumeration of Tilings of 3-Zonotopes.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
27	Takeaki Uno	A New Approach for Speeding Up Enumeration Algorithms and Its Application for Matroid Bases.	COCOON	1999	DBLP DOI BibTeX RDF
27	James H. Kukula, Thomas R. Shiple, Adnan Aziz	Techniques for Implicit State Enumeration of EFSMs.	FMCAD	1998	DBLP DOI BibTeX RDF