Search results for "enumeration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Yau-Tsun Steven Li, Sharad Malik	Performance analysis of embedded software using implicit path enumeration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
27	Theodore A. Slaman, W. Hugh Woodin	Definability in the enumeration degrees.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
27	Nader Bagherzadeh, Martin Dowd, Shahram Latifi	A Well-Behaved Enumeration of Star Graphs.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
27	Yau-Tsun Steven Li, Sharad Malik	Performance Analysis of Embedded Software Using Implicit Path Enumeration.	Workshop on Languages, Compilers, & Tools for Real-Time Systems	1995	DBLP DOI BibTeX RDF
27	Martin Kummer, Matthias Ott	Effective Strategies for Enumeration Games.	CSL	1995	DBLP DOI BibTeX RDF
27	Gary K. H. Yeap, Majid Sarrafzadeh	A unified approach to floorplan sizing and enumeration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
27	Evangelos Kranakis, Michel Pocchiola	Enumeration and Visibility Problems in Integer Lattices (Extended Abstract).	SCG	1990	DBLP DOI BibTeX RDF
27	John P. Hayes	Enumeration of Fanout-Free Boolean Functions.	J. ACM	1976	DBLP DOI BibTeX RDF
26	Katsuhisa Yamanaka, Yota Otachi, Shin-Ichi Nakano	Efficient Enumeration of Ordered Trees with kLeaves (Extended Abstract).	WALCOM	2009	DBLP DOI BibTeX RDF	family tree, algorithm, graph, enumeration, ordered tree
26	Yasuko Matsui, Ryuhei Uehara, Takeaki Uno	Enumeration of Perfect Sequences of Chordal Graph.	ISAAC	2008	DBLP DOI BibTeX RDF	clique tree, perfect sequence, enumeration, Chordal graph
26	Heejong Suh, Carl K. Chang	Algorithms for the Minimal Cutsets Enumeration of Networks by Graph Search and Branch Addition.	LCN	2000	DBLP DOI BibTeX RDF	minimal cutsets enumeration, branch addition, graph method, graph tree, sub-vertex set, graph topology, disjoint vertex set, algorithms, computational complexity, reliability, reliability, networks, graph theory, network topology, time complexity, spanning tree, binary tree, graph search
26	Silke Kreitz, Andreas Hess 0001, T.-H. Anderson	Direct enumeration and size classification of soil bacteria using confocal laser scanning microscopy and image analysis.	ICIP	1995	DBLP DOI BibTeX RDF	soil, optical microscopy, cellular biophysics, biological techniques, measurement by laser beam, size classification, soil bacteria, bacteria enumeration, confocal laser scanning microscopy, microbiology, sharpening filter, background correction, area measurement, background particles elimination, automatic image analysis, biological research technique, image processing, biology computing, threshold selection
26	Ferng-Ching Lin, Kung Chen	On the Design of a Unidirectional Systolic Array for Key Enumeration.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	unidirectional systolic array, key enumeration, unidirectional data flow, maximum data pipelining rate, closest-neighbor problems, design, computational geometry, computational geometry, cellular arrays
26	Les G. Proll	Remark on algorithm 341 [H]: solution of linear programs in 0-1 variables by implicit enumeration.	Commun. ACM	1969	DBLP DOI BibTeX RDF	partial enumeration, zero-one variables, linear programming
26	J. L. Byrne, Les G. Proll	Algorithms: Algorithm 341: solution of linear programs in 0-1 variables by implicit enumeration.	Commun. ACM	1968	DBLP DOI BibTeX RDF	partial enumeration, zero-one variables, linear programming
24	Nan Du, Bin Wu 0001, Liutong Xu, Bai Wang 0001, Pei Xin	Parallel Algorithm for Enumerating Maximal Cliques in Complex Network.	Mining Complex Data	2009	DBLP DOI BibTeX RDF
24	Falk Hüffner, Christian Komusiewicz, Hannes Moser, Rolf Niedermeier	Enumerating Isolated Cliques in Synthetic and Financial Networks.	COCOA	2008	DBLP DOI BibTeX RDF
24	Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford	Providing a formal linkage between MDG and HOL.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Verification system correctness, Hybrid verification systems, Formal hardware verification, Usability verification
24	Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton	Factor cuts.	ICCAD	2006	DBLP DOI BibTeX RDF
24	Guillaume Bagan	MSO Queries on Tree Decomposable Structures Are Computable with Linear Delay.	CSL	2006	DBLP DOI BibTeX RDF
24	Matthew Hamilton, Rhonda Chaytor, Todd Wareham	The Parameterized Complexity of Enumerating Frequent Itemsets.	IWPEC	2006	DBLP DOI BibTeX RDF
24	Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario	Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems.	QEST	2005	DBLP DOI BibTeX RDF
24	Malay K. Ganai, Aarti Gupta, Pranav Ashar	Efficient SAT-based unbounded symbolic model checking using circuit cofactoring.	ICCAD	2004	DBLP DOI BibTeX RDF
24	Vikram Iyengar, Krishnendu Chakrabarty, Erik Jan Marinissen	Efficient test access mechanism optimization for system-on-chip.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
24	Antoine Deza, Komei Fukuda, Tomohiko Mizutani, Cong Vo	On the Face Lattice of the Metric Polytope.	JCDCG	2002	DBLP DOI BibTeX RDF
23	Benjamin A. Burton	The complexity of the normal surface solution space.	SCG	2010	DBLP DOI BibTeX RDF	3-manifolds, normal surfaces, vertex enumeration, complexity, computational topology
23	James Cheng, Yiping Ke, Ada Wai-Chee Fu, Jeffrey Xu Yu, Linhong Zhu	Finding maximal cliques in massive networks by H*-graph.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	h*-graph, massive networks, maximal clique enumeration, scale-free networks, h-index
23	Roland Carl Backhouse, João F. Ferreira 0001	Recounting the Rationals: Twice!.	MPC	2008	DBLP DOI BibTeX RDF	Calkin-Wilf tree, Stern-Brocot tree, algorithm derivation, rational numbers, enumeration algorithm
23	Ivaylo Atanassov	An improvement of an approach for representation of tree structures in relational tables.	CompSysTech	2007	DBLP DOI BibTeX RDF	path enumeration model, relational databases, SQL, trees, hierarchies, relational tables
23	Kenneth A. Hawick, Heath A. James, Chris Scogings	Structural Circuits and Attractors in Kauffman Networks.	ACAL	2007	DBLP DOI BibTeX RDF	Kauffman networks, Random boolean functions, Circuit enumeration, Loops, Attractors
23	Tao Yang, Daoli Zhu, Linzhong Liu	Decomposition Method and Its Automatic Design Algorithm of Station Bottleneck.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Sketch Input, Structural Enumeration, Design Automation
23	V. Baleva	The jump operation for structure degrees.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Structure degrees, Enumeration degrees, Degrees of structures, Reducibility, Degree, Jump
23	Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton	Improvements to technology mapping for LUT-based FPGAs.	FPGA	2006	DBLP DOI BibTeX RDF	area recovery, cut enumeration, lossless synthesis, FPGA, technology mapping
23	Dora Souliou, Aris Pagourtzis, Nikolaos Drosinos	Computing Frequent Itemsets in Parallel Using Partial Support Trees.	PVM/MPI	2005	DBLP DOI BibTeX RDF	partial support tree, association rules, frequent itemsets, Parallel data mining, set-enumeration tree
23	Frans Coenen, Graham Goulbourne, Paul H. Leng	Tree Structures for Mining Association Rules.	Data Min. Knowl. Discov.	2004	DBLP DOI BibTeX RDF	association rules, set-enumeration tree
23	John C. Martin	Formal methods software engineering for the CARA system.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Formal methods software engineering, Sequence enumeration, Cleanroom, Formal specification
23	Takayuki Nakamura, M. Oohara, Tsukasa Ogasawara, Hiroshi Ishiguro	Fast self-localization method for mobile robots using multiple omnidirectional vision sensors.	Mach. Vis. Appl.	2003	DBLP DOI BibTeX RDF	Omnidirectional vision sensor, Self-localization from multiple views, Triangle and enumeration constraints, Vision-based mobile robots, Autonomous decentralized system
23	Bimal K. Roy	A Brief Outline of Research on Correlation Immune Functions.	ACISP	2002	DBLP DOI BibTeX RDF	Boolean Function, Stream Cipher, Symmetry, Nonlinearity, Enumeration, Autocorrelation, Balancedness, Correlation Immunity, Algebraic Degree, Multiple Output Function
23	Takeaki Uno	A Fast Algorithm for Enumerating Bipartite Perfect Matchings.	ISAAC	2001	DBLP DOI BibTeX RDF	enumeration, perfect matching, enumerating algorithm
23	Shin-Ichi Nakano	Enumerating Floorplans with n Rooms.	ISAAC	2001	DBLP DOI BibTeX RDF	Graphs, Enumeration, Listing, Plane graphs
23	Anne Berry, Jean Paul Bordat, Olivier Cogis	Generating All the Minimal Separators of a Graph.	WG	1999	DBLP DOI BibTeX RDF	Minimal Separator, Graph, Enumeration Algorithm
23	Fong Pong, Michel Dubois 0001	Formal Verification of Complex Coherence Protocols Using Symbolic State Models.	J. ACM	1998	DBLP DOI BibTeX RDF	state abstraction, state enumeration methods, formal methods, shared-memory multiprocessors, cache coherence protocols
23	John C. Mitchell, Mark Mitchell, Ulrich Stern	Automated analysis of cryptographic protocols using Mur-phi.	S&P	1997	DBLP DOI BibTeX RDF	cryptographic protocol analysis, Mur/spl phi/, general-purpose state enumeration tool, security-related protocols, faulty TMN protocol, replay attack detection, cryptography, methodology, errors, client server system, network operating system, computation time, Kerberos
23	Gene Cooperman	TOP-C: A Task-Oriented Parallel C Interface.	HPDC	1996	DBLP DOI BibTeX RDF	TOP-C, task-oriented parallel C interface, parallel application development, learning barriers, parallel library, task input, sequential code, NOW architecture, masterslave architecture, shared memory implementation, SUN Solaris, SGI architecture, Todd-Coxeter coset enumeration, parallel programming, MPI, software tools, shared memory systems, application program interfaces, data-parallelism, software libraries, SMP, subroutines, subroutine, C language, mathematics computing, parallelising compilers, parallelising compiler, integer factorization, global variables
23	Giacomo Bucci, Enrico Vicario	Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Time-critical systems, model partitioning, incremental state space enumeration, state space projection, compositional validation, time Petri Nets, finite state models
23	Feng Chen 0018, Zheng Gao, John D. Villasenor	A lattice vector quantizer for generalized Gaussian sources.	ICIP	1995	DBLP DOI BibTeX RDF	Lena image, generalized Gaussian sources, fixed-rate lattice vector quantizer, contour of constant probability, integer lattice, optimal boundary gains, GG sources, low-complexity techniques, optimal codevector search, quantization process, optimisation, image coding, search problems, rate control, table lookup, enumeration, dimension, Gaussian processes, vector quantisation, rate distortion theory, lattice theory, lookup tables, shape parameter
23	Zbigniew Chamski	Beyond convexity: scanning 'non-convex polyhedra'.	HICSS (2)	1995	DBLP DOI BibTeX RDF	nonconvex polyhedra, point enumeration, algebraically-specified domain, algorithmic problem, scientific program transformation, scanning algorithms, runtime overhead, regularly nonconvex domains, arbitrary unions, nested loop sequences, parallel algorithms, parallel programming, computational geometry, convexity, program interpreters, program control structures, convex polyhedra
23	Zijian Zhou 0001, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin	Partitioning transition relations efficiently and automatically.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	automatic partitioning, state transition relations, abstract implicit state enumeration procedure, automatic verification method, graph theory, finite state machines, logic CAD, state estimation, logic partitioning, extended finite state machines, register transfer level designs, multiway decision graphs
23	Waleed A. Muhanna	Composite Programs: Hierarchical Construction, Circularity, and Deadlocks.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	hierarchical construction, nonprocedural development environment, composite programs, input ports, output ports, coupling graph, cycle enumeration, atomic programs, deadly cycles, graph theory, graph theory, concurrency control, interfaces, programming environments, decomposition, programming theory, necessary and sufficient conditions, circularity, communication behavior, cyclic, communication deadlocks
23	Terry Shepard, J. A. Martin Gagné	A Pre-Run-Time Scheduling Algorithm For Hard Real-Time Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	pre-run-time scheduling algorithm, process sequencing, multiprocessor applications, preemptable processes, arbitrary precedence, exclusion constraints, branch-and-bound implicit enumeration technique, F-18 mission computer operational flight program, scheduling, real-time systems, multiprocessing systems, deadlines, computation times, hard real-time systems, aerospace computing, release times, feasible schedule, timing specifications
23	John J. Cannon	Computers in group theory: a survey.	Commun. ACM	1969	DBLP DOI BibTeX RDF	character tables, commutator calculus, coset enumeration, nonnumerical programming, subgroup lattices, topology, survey, symbol manipulation, group theory, discrete mathematics, permutation groups, Abelian groups, automorphism groups, crystallography
22	Abir Farouzi	Exploration des bases de données orientées graphe : Énumération des triangles dans les graphes à grande échelle. (Exploration of Graph Databases : Triangle Enumeration in Large Graphs).		2023	RDF
22	Caroline Brosse	Efficient enumeration algorithms for minimal graph completions and deletions. (Algorithmes d'énumération efficaces pour les complétions et délétions minimales de graphes).		2023	RDF
22	Amela Fejza	On the Optimization of Recursive Plan Enumeration with an Application to Property Graph Queries. (Sur l'optimisation de l'énumération de plans récursifs avec une application aux requêtes de graphes de propriétés).		2023	RDF
22	Petr A. Golovach, Christian Komusiewicz, Dieter Kratsch, Van Bang Le	Refined notions of parameterized enumeration kernels with applications to matching cut enumeration.	J. Comput. Syst. Sci.	2022	DBLP DOI BibTeX RDF
22	Florian Ingels	On the similarities of trees: the interest of enumeration and compression methods. (Sur la similarité des arbres : l'intérêt des méthodes d'énumération et de compression).		2022	RDF
22	Petr A. Golovach, Christian Komusiewicz, Dieter Kratsch, Van Bang Le	Refined Notions of Parameterized Enumeration Kernels with Applications to Matching Cut Enumeration.	CoRR	2021	DBLP BibTeX RDF
22	Petr A. Golovach, Christian Komusiewicz, Dieter Kratsch, Van Bang Le	Refined Notions of Parameterized Enumeration Kernels with Applications to Matching Cut Enumeration.	STACS	2021	DBLP DOI BibTeX RDF
22	Nicolas Dub	Enumeration of triangulations modulo symmetries and of rooted triangulations counted by their number of (d - 2)-simplices in dimension d ≥ 2. (Enumération de triangulations aux symétries près et de triangulations enracinées comptées avec leur nombre de (d-2) simplexes en dimension supérieure ou égale à 2).		2021	RDF
22	Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato	Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration.	WALCOM	2020	DBLP DOI BibTeX RDF
22	Rado Rakotonarivo	Sur la combinatoire des polytopes en nombres entiers, génération aléatoire et enumération. (On the combinatorics of lattice polytopes, random sampling and enumeration).		2020	RDF
22	Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato	Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration.	CoRR	2019	DBLP BibTeX RDF
22	Sarah Blind	Output-sensitive algorithms for enumeration problems in graphs. (Algorithmes "output-sensitifs" pour les problèmes d'énumération dans les graphes).		2019	RDF
22	Emmanuel Moebel	New strategies for the identification and enumeration of macromolecules in 3D images of cryo electron tomography. (Nouvelles stratégies pour l'identification et l'énumération de macromolécules dans des images de cryo-tomographie électronique 3D).		2019	RDF
22	Mohamed Yosri Sayadi	Construction et analyse des algorithmes exacts et exponentiels : énumération input-sensitive. (Design and analysis of exact exponential algorithms : input-sensitive enumeration).		2019	RDF
22	Liliana Badillo, Charles M. Harris, Mariya Ivanova Soskova	Enumeration 1-Genericity in the Local Enumeration Degrees.	Notre Dame J. Formal Log.	2018	DBLP DOI BibTeX RDF
22	Alexandre Vigny	Query enumeration and nowhere dense graphs. (Énumération des requêtes et graphes nulle-part denses).		2018	RDF
22	Stephen Melczer	Analytic Combinatorics in Several Variables : Effective Asymptotics and Lattice Path Enumeration. (Combinatoire analytique en plusieurs variables : asymptotique efficace et énumération de chemin de treillis).		2017	RDF
22	Claire Pennarun	Planar graphs: non-aligned drawings, power domination and enumeration of Eulerian orientations. (Graphes planaires : dessins non-alignés, domination de puissance et énumération d'orientations Eulériennes).		2017	RDF
22	Kunihiro Wasa	Enumeration of Enumeration Algorithms.	CoRR	2016	DBLP BibTeX RDF
22	Victor Marsault	Énumération et numération. (Enumeration and numeration).		2016	RDF
22	Lyes Belhoul	Résolution de problèmes d'optimisation combinatoire mono et multi-objectifs par énumération ordonnée. (Solving single and multi-objective combinatorial optimization problems by ordered enumeration).		2014	RDF
22	Alexandre Bazin	On the enumeration of pseudo-intents : choosing the order and extending to partial implications. (De l'énumération des pseudo-intensions : choix de l'ordre et extension aux implications partielles).		2014	RDF
22	Daniela Battaglino	Enumeration of polyominoes defined in terms of pattern avoidance or convexity constraints. (Énumération de polyominos définis en terme d'évitement de motif ou de contraintes de convexité).		2014	RDF
22	Mariya Ivanova Soskova, Ivan N. Soskov	Embedding countable partial orderings in the enumeration degrees and the ω-enumeration degrees.	J. Log. Comput.	2012	DBLP DOI BibTeX RDF
22	Julien Gosme	Énumération exhaustive et détection spécifique des analogies : étude pour les modèles de langue et la traduction automatique. (Complete Enumeration and Specific Detection of Proportional Analogies: Studies for Language Models and Machine Translation).		2012	RDF
22	Jean-François Couturier 0001	Algorithmes exacts et exponentiels sur les graphes : énumération, comptage et optimisation. (Exponential and exact algorithms on graphs : enumeration, counting and optimization).		2012	RDF
22	Guillaume Bagan	Algorithmes et complexité des problèmes d'énumération pour l'évaluation de requêtes logiques. (Algorithms and complexity of enumeration problems for the evaluation of logical queries).		2009	RDF
22	Frédérique Bassino	Automates, énumération et algorithmes. (Automata, enumeration and algorithms).		2005	RDF
22	Richard M. Friedberg	Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication.	J. Symb. Log.	1958	DBLP DOI BibTeX RDF
19	WenYing Zhang, Chuankun Wu, XiangZhong Liu	Construction and enumeration of Boolean functions with maximum algebraic immunity.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	cryptography, Boolean function, algebraic attack, algebraic immunity
19	Jianxin Wang 0001, Guohong Jiang	A Fixed-Parameter Enumeration Algorithm for the Weighted FVS Problem.	TAMC	2009	DBLP DOI BibTeX RDF
19	Elisabeth Georgii, Koji Tsuda, Bernhard Schölkopf	Multi-way set enumeration in real-valued tensors.	KDD Workshop on Data Mining using Matrices and Tensors	2009	DBLP DOI BibTeX RDF
19	Tao Li 0008, Zhigang Sun, Wu Jigang, Xicheng Lu	Fast enumeration of maximal valid subgraphs for custom-instruction identification.	CASES	2009	DBLP DOI BibTeX RDF	ISE identification, custom processors, maximal subgraph
19	Cong Ling 0001, Kwok H. Li, Alex ChiChung Kot	Performance of Space-Time Codes: Gallager Bounds and Weight Enumeration.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
19	Konstantinos Drakakis, Scott T. Rickard, James K. Beard, Rodrigo Caballero, Francesco Iorio, Gareth S. O'Brien, John Walsh 0001	Results of the Enumeration of Costas Arrays of Order 27.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
19	Lei Huang 0001, Teng Long, Shunjun Wu	Source Enumeration for High-Resolution Array Processing Using Improved Gerschgorin Radii Without Eigendecomposition.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
19	Marat M. Arslanov, S. Barry Cooper, Iskander Sh. Kalimullin, Mariya Ivanova Soskova	Total Degrees and Nonsplitting Properties of Enumeration Degrees.	TAMC	2008	DBLP DOI BibTeX RDF
19	Min Li 0001, Bruno Bougard, Eduardo Lopez-Estraviz, André Bourdoux, David Novo, Liesbet Van der Perre, Francky Catthoor	Selective Spanning with Fast Enumeration: A Near Maximum-Likelihood MIMO Detector Designed for Parallel Programmable Baseband Architectures.	ICC	2008	DBLP DOI BibTeX RDF
19	Martin Strasser, Michael Eick, Helmut Gräb, Ulf Schlichtmann, Frank M. Johannes	Deterministic analog circuit placement using hierarchically bounded enumeration and enhanced shape functions.	ICCAD	2008	DBLP DOI BibTeX RDF
19	Kubilay Atasu, Oskar Mencer, Wayne Luk, Can C. Özturan, Günhan Dündar	Fast custom instruction identification by convex subgraph enumeration.	ASAP	2008	DBLP DOI BibTeX RDF
19	Shaojing Fu, Chao Li 0002, Bing Sun 0001	Enumeration of Homogeneous Rotation Symmetric Functions over Fp.	CANS	2008	DBLP DOI BibTeX RDF	Minimal function, Monic monomial, Algebraic degree, Rotation symmetry
19	Jeong Woo Son, Seong-Bae Park, Se-Young Park	An Ontology Alignment Basedon Parse Tree Kernel for Combining Structural and Semantic Information without Explicit Enumeration of Features.	Web Intelligence	2008	DBLP DOI BibTeX RDF
19	Jim Devlin, Scott Rickard	Accelerated costas array enumeration using FPGAs.	CISS	2008	DBLP DOI BibTeX RDF
19	Samuel Rota Bulò, Andrea Torsello, Marcello Pelillo	A Continuous-Based Approach for Partial Clique Enumeration.	GbRPR	2007	DBLP DOI BibTeX RDF
19	Joshua A. Grochow, Manolis Kellis	Network Motif Discovery Using Subgraph Enumeration and Symmetry-Breaking.	RECOMB	2007	DBLP DOI BibTeX RDF
19	Pan Yu, Tulika Mitra	Disjoint Pattern Enumeration for Custom Instructions Identification.	FPL	2007	DBLP DOI BibTeX RDF
19	Guillaume Bagan, Arnaud Durand 0001, Etienne Grandjean	On Acyclic Conjunctive Queries and Constant Delay Enumeration.	CSL	2007	DBLP DOI BibTeX RDF
19	Roland Sh. Omanadze, Andrea Sorbi	Strong Enumeration Reducibilities.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D30
19	Stanislav Angelov, Boulos Harb, Sampath Kannan, Sanjeev Khanna, Junhyong Kim	Efficient Enumeration of Phylogenetically Informative Substrings.	RECOMB	2006	DBLP DOI BibTeX RDF