Search results for "enumeration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton	On the verification of sequential machines at differing levels of abstraction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
16	Dieter Spreen	Computable One-to-one Enumerations of Effective Domains.	MFPS	1987	DBLP DOI BibTeX RDF
16	Paul R. Young	Toward a Theory of Enumerations.	J. ACM	1969	DBLP DOI BibTeX RDF
15	Laura Carnevali, Lorenzo Ridi, Enrico Vicario	Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.	QEST	2011	DBLP DOI BibTeX RDF	symbolic state-space enumeration, preemptive Time Petri Net, non-Markovian Stochastic Petri Net, quantitative evaluation, Correctness verification, stochastic Time Petri Net
15	Katta G. Murty	Complexity of Degeneracy.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Near degeneracy, Active constraints, Tight constraints, Inactive constraints, Slack constraints, Basic feasible solution, Regular polyhedron, Simple polyhedron, Stalling, Resolving degeneracy, Positive marginal values, Negative marginal values, Extreme point enumeration, Extreme point ranking, Assignment ranking, Segments of polyhedra, NP-complete problem, Cycling, Degeneracy, Active set methods, Nondegeneracy
15	Karla L. Hoffman, Manfred Padberg	Set Covering, Packing and Partitioning Problems.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Polyhedral methods, Combinatorial optimization, Integer programming, Enumeration, Disjunctive programming, Lift-and-project
15	Egon Balas	Integer Programming.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Polyhedral methods, Combinatorial optimization, Integer programming, Enumeration, Disjunctive programming, Lift-and-project
15	Stephen Jang, Billy Chan, Kevin Chung, Alan Mishchenko	WireMap: FPGA Technology Mapping for Improved Routability and Enhanced LUT Merging.	ACM Trans. Reconfigurable Technol. Syst.	2009	DBLP DOI BibTeX RDF	area flow, cut enumeration, edge flow, FPGA, technology mapping
15	Richard Ehrenborg, Margaret A. Readdy, Michael Slone	Affine and Toric Hyperplane Arrangements.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	The cd-index, The complex of unbounded regions, Flag enumeration, The toric Zaslavsky invariant, The n-dimensional torus, Manifolds
15	Anisoara Nica, Daniel Scott Brotherston, David William Hillis	Extreme visualisation of query optimizer search space.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	sql anywhere, tree difference algorithm, query optimization, visualisation, search space, enumeration algorithm
15	Narges Simjour	Improved Parameterized Algorithms for the Kemeny Aggregation Problem.	IWPEC	2009	DBLP DOI BibTeX RDF	Kemeny score, parameterized, enumeration, exact algorithms
15	David Avis, Naoki Katoh, Makoto Ohsaki, Ileana Streinu, Shin-ichi Tanigawa	Enumerating Constrained Non-crossing Minimally Rigid Frameworks.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF	Geometric enumeration, Constrained non-crossing minimally rigid frameworks, Rigidity, Constrained Delaunay triangulation
15	David Avis, Bohdan Kaluzny	Computing monotone disjoint paths on polytopes.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Reverse search, Vertex enumeration, Holt-Klee, Linear programming, Network flow, Polytopes, Disjoint paths, Simplex method, Degeneracy
15	Stephen Jang, Billy Chan, Kevin Chung, Alan Mishchenko	WireMap: FPGA technology mapping for improved routability.	FPGA	2008	DBLP DOI BibTeX RDF	area flow, cut enumeration, edge flow, FPGA, technology mapping
15	Konstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv	Keyword proximity search in complex data graphs.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	approximate top-k answers, information retrieval on graphs, keyword proximity search, subtree enumeration by height, redundancy elimination
15	Robert Beers	Pre-RTL formal verification: an intel experience.	DAC	2008	DBLP DOI BibTeX RDF	TLC, explicit state enumeration, microarchitecture verification, formal verification, protocol verification, TLA+
15	Arnaud Durand 0001, Etienne Grandjean	First-order queries on structures of bounded degree are computable with constant delay.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	enumeration problems, Computational complexity, first-order logic
15	Thomas Eiter, Kazuhisa Makino	On computing all abductive explanations from a propositional Horn theory.	J. ACM	2007	DBLP DOI BibTeX RDF	Horn theories, dualization problem, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, propositional logic, tractability, prime implicates, characteristic set, enumeration algorithms
15	Martin N. Huxley, Jovisa D. Zunic	The Number of N-Point Digital Discs.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	Digital disc, digitization, enumeration, digital geometry
15	Hsun-Wen Chang, Pei-Fang Tsai	Characterizing the reconstruction and enumerating the patterns of DNA sequences with repeats.	J. Comb. Optim.	2007	DBLP DOI BibTeX RDF	DNA digraph, Reduced digraph, Pattern graph, Combinatorial enumeration, Catalan number, Repeat, DNA sequencing
15	Hiroki Arimura, Takeaki Uno, Shinichi Shimozono	Time and Space Efficient Discovery of Maximal Geometric Graphs.	Discovery Science	2007	DBLP DOI BibTeX RDF	closed graph mining, rightmost expansion, polynomial delay polynomial space enumeration algorithms, depth-first search, geometric graphs
15	Ahmed Metwally 0001, Divyakant Agrawal, Amr El Abbadi	Detectives: detecting coalition hit inflation attacks in advertising networks streams.	WWW	2007	DBLP DOI BibTeX RDF	approximate set similarity, click spam detection, cliques enumeration, coalition fraud attacks, real data experiments, similarity-sensitive sampling
15	Dora Souliou, Aris Pagourtzis, Panayotis Tsanakas	A fast parallel algorithm for frequent itemsets mining.	AIAI	2007	DBLP DOI BibTeX RDF	partial support tree, association rules, frequent itemsets, parallel data mining, set-enumeration tree
15	Xiangfu Zhao, Dantong Ouyang	Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis.	ICIC (1)	2007	DBLP DOI BibTeX RDF	conflict set, set enumeration tree (SE-tree), model-based diagnosis, hitting set
15	Yongyan Yang, Yili Yin, Jun Su	Business Process Depicting and Analyzing with a Lightweight Approach: A Case Study.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Abstracted actions, Business process, Hierarchy, Polymorphism, Case studies, Enumeration
15	Alexandra A. Soskova	A Jump Inversion Theorem for the Degree Spectra.	CiE	2007	DBLP DOI BibTeX RDF	enumeration degrees, degree spectra, Marker’s extensions, enumerations
15	Eric Robinson, Daniel Kunkle, Gene Cooperman	A comparative analysis of parallel disk-based Methods for enumerating implicit graphs.	PASCO	2007	DBLP DOI BibTeX RDF	disk-based, implicit graphs, parallel, search, enumeration
15	Martin N. Huxley, Jovisa D. Zunic	Different Digitisations of Displaced Discs.	Found. Comput. Math.	2006	DBLP DOI BibTeX RDF	Digital disc, Enumeration, Digitisation
15	Sebastian Wernicke 0001	Efficient Detection of Network Motifs.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	Network motif detection algorithm, subgraph enumeration, subgraph sampling, subgraph concentration in random graphs
15	Shakil Ahmed, Frans Coenen, Paul H. Leng	Tree-based partitioning of date for association rule mining.	Knowl. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Partial support, Data structures, Association rules, Set-enumeration tree
15	Oswin Aichholzer, Franz Aurenhammer, Hannes Krasser	On the Crossing Number of Complete Graphs.	Computing	2006	DBLP DOI BibTeX RDF	enumeration, Crossing number, complete graph, order types
15	Chansik Im, K. H. (Kane) Kim	A Hybrid Approach in TADE for Derivation of Execution Time Bounds of Program-Segments in Distributed Real-Time Embedded Computing.	ISORC	2006	DBLP DOI BibTeX RDF	worst-case execution path, program-segment, methodsegment, acyclic path-segment, path enumeration, curvefitting, execution time bound, TETB, real time, measurement, analysis, hybrid, worst-case execution time
15	Sanjay V. Kumar, Chris H. Kim, Sachin S. Sapatnekar	Mathematically assisted adaptive body bias (ABB) for temperature compensation in gigascale LSI systems.	ASP-DAC	2006	DBLP DOI BibTeX RDF	Nonlinear Programming Problem (NLPP), daptive Body Bias (ABB), temperature variations, delay, process variations, leakage, enumeration
15	Frederik Stork, Marc Uetz	On the generation of circuits and minimal forbidden sets.	Math. Program.	2005	DBLP DOI BibTeX RDF	Independence system, Forbidden set, Circuit, Enumeration, Resource constraints, Project scheduling, Counting
15	Satoshi Morinaga, Hiroki Arimura, Takahiro Ikeda, Yosuke Sakao, Susumu Akamine	Key semantics extraction by dependency tree mining.	KDD	2005	DBLP DOI BibTeX RDF	phrase/sentence reconstruction, redundancy reduction, syntactic dependency, tree enumeration, text mining
15	Patrick Briest, Piotr Krysta, Berthold Vöcking	Approximation techniques for utilitarian mechanism design.	STOC	2005	DBLP DOI BibTeX RDF	combinatorial and multi-unit auctions, enumeration techniques, approximation algorithms, mechanism design, primal-dual method
15	Sarfraz Khurshid, Darko Marinov	TestEra: Specification-Based Testing of Java Programs Using SAT.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation
15	Bertran Steinsky	Asymptotic Behaviour of the Number of Labelled Essential Acyclic Digraphs and Labelled Chain Graphs.	Graphs Comb.	2004	DBLP DOI BibTeX RDF	Labelled essential directed acyclic graph, Chain graph, Asymptotic enumeration, Bayesian network
15	Sanguthevar Rajasekaran, Jaime I. Dávila	A Fundamental Problem in Computer and Communication.	ICPADS	2004	DBLP DOI BibTeX RDF	Partitioned Optical Passive Star (POPS) network, partial permutation routing, sparse enumeration sort, randomized algorithms, selection, packet routing
15	Grzegorz Kubicki, Jenö Lehel, Michal Morayne	An Asymptotic Ratio in the Complete Binary Tree.	Order	2003	DBLP DOI BibTeX RDF	tree poset, embedding, enumeration
15	Bertran Steinsky	Efficient coding of labeled directed acyclic graphs.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Bayesian network, Rank, Generation, Directed acyclic graph (DAG), Enumeration
15	Feng Pan, Gao Cong, Anthony K. H. Tung, Jiong Yang, Mohammed Javeed Zaki	Carpenter: finding closed patterns in long biological datasets.	KDD	2003	DBLP DOI BibTeX RDF	row enumeration, frequent pattern, closed pattern
15	James D. Currie, Terry I. Visentin	Counting Endomorphisms of Crown-like Orders.	Order	2002	DBLP DOI BibTeX RDF	endomorphism, combinatorial enumeration, ordered set
15	Gunnar Brinkmann, Brendan D. McKay	Posets on up to 16 Points.	Order	2002	DBLP DOI BibTeX RDF	canonical construction path, algorithm, enumeration, poset
15	Thomas Eiter, Georg Gottlob, Kazuhisa Makino	New results on monotone dualization and generating hypergraph transversals.	STOC	2002	DBLP DOI BibTeX RDF	combinatorial enumeration, hypergraph acyclicity, limited nondeterminism, output-polynomial algorithms, transversal computation, treewidth, dualization
15	Tsutomu Sasao, Jon T. Butler	Worst and Best Irredundant Sum-of-Products Expressions.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	complete sum-of-products expressions, irredundant sum-of-products, heuristic minimization, minimum sum-of-products expressions, worst sum-of-products expressions, graph enumeration, minimally strongly connected digraphs, Logic minimization, prime implicants, symmetric functions, multiple-output functions
15	M. Narasimhan, J. Ramanujam	A fast approach to computing exact solutions to the resource-constrained scheduling problem.	ACM Trans. Design Autom. Electr. Syst.	2001	DBLP DOI BibTeX RDF	exact scheduling, lower and upper bounds, high-level synthesis, Design automation, enumeration, resource-constrained scheduling
15	Jobst Heitzig, Jürgen Reinhold	The Number of Unlabeled Orders on Fourteen Elements.	Order	2000	DBLP DOI BibTeX RDF	finite poset, orderly algorithm, parallelization, topology, enumeration
15	Dirk Stroobandt, Herwig Van Marck	Efficient representation of interconnection length distributions using generating polynomials.	SLIP	2000	DBLP DOI BibTeX RDF	interconnect length distributions, enumeration, VLSI CAD, generating polynomials
15	S. C. Prasad, Kaushik Roy 0001	Transistor reordering for power minimization under delay constraint.	ACM Trans. Design Autom. Electr. Syst.	1996	DBLP DOI BibTeX RDF	critical path enumeration, gate input reordering, transistor reordering, power estimation, circuit optimization
15	Daniel Jackson 0001, Somesh Jha, Craig Damon	Faster Checking of Software Specifications by Eliminating Isomorphs.	POPL	1996	DBLP DOI BibTeX RDF	model enumeration, validity checking, formal specification, symmetry, Z notation, relational calculus
15	A. James Stewart, Sherif Ghali	Fast computation of shadow boundaries using spatial coherence and backprojections.	SIGGRAPH	1994	DBLP DOI BibTeX RDF	efficient surface enumeration, visual events, shadows, radiosity, aspect graphs, spatial coherence, discontinuity mesh, backprojections
15	Hussein M. Alnuweiri	A New Class of Optimal Bounded-Degree VLSI Sorting Networks.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	VLSI sorting networks, optimal VLSI sorters, rotate-sort, enumeration-sort, reduced-area, K-shuffle layouts, VLSI, optimisation, logic design, sorting, time complexity, bounded-degree
15	Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi, Carl Pixley	Synchronizing sequences and symbolic traversal techniques in test generation.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	implicit state enumeration, multiple observation time, test generation, Binary decision diagram, synchronizing sequence
15	Jane Wilhelms, Allen Van Gelder	Octrees for Faster Isosurface Generation.	ACM Trans. Graph.	1992	DBLP DOI BibTeX RDF	hierarchical spatial enumeration, scientific visualization, octree, isosurface extraction
15	Sreejit Chakravarty, Harry B. Hunt III	On Computing Signal Probability and Detection Probability of Stuck-at Faults.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	pseudo gates, logic testing, built-in self test, combinational circuits, random testing, stuck-at faults, combinatorial circuits, testability analysis, detection probability, signal probability, pseudorandom testing, enumeration algorithm
15	Jens Lagergren	Efficient Parallel Algorithms for Tree-Decomposition and Related Problems	FOCS	1990	DBLP DOI BibTeX RDF	sequential time complexity, monadic second order properties, linear extended monadic second order extremum problems, concurrent-read, concurrent-write parallel random access machine, enumeration problems, parallel algorithms, graphs, tree-decomposition, tree width, CRCW PRAM
15	Israel Gazit, Miroslaw Malek	On the Number of Permutations Performable by Extra-Stage Multistage Interconnection Networks.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	number of permutations, extra-stage multistage interconnection networks, hypercube enumeration problem, graph theory, multiprocessor interconnection networks, graph-theoretical approach
15	Shun Yan Cheung, Mustaque Ahamad, Mostafa H. Ammar	Optimizing Vote and Quorum Assignments for Reading and Writing Replicated Data.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	vote optimizing, quorum assignments, writing replicated data, weighted voting protocol, node availabilities, operation mix, distributed system, protocols, fault tolerant computing, distributed processing, reading, optimal performance, enumeration algorithm
15	G. Barbara Demo, Sukhamay Kundu	Analysis of the Context Dependency of CODASYL Find-Statements with Application to Database Program Conversion.	SIGMOD Conference	1985	DBLP DOI BibTeX RDF	CODASYL operations, abstract and execution contexts, enumeration loop, program conversion, relational interface, semantic predecessor set
15	Abraham Kandel, Joan M. Francioni	On the Properties and Applications of Fuzzy-Valued Switching Functions.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	Enumeration of fuzzy functions, fuzzy decision tables, fuzzy logic, minimization, switching functions, fuzzy maps
15	Teruo Hikita, Hajime Enomoto	On the Number of Multivalued Switching Functions Realizable by Cascades.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	universal logical cells., multivalued switching functions, switching function enumeration, Cascades
15	Edward A. Bender, Jon T. Butler	Asymptotic Aproximations for the Number of Fanout-Free Functions.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	fanout-free networks, function enumeration, switching functions, cascades, Asymptotic approximations, combinatorial logic
15	Jacob A. Abraham	A Combinatorial Solution to the Reliability of Interwoven Redundant Logic Networks.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Fault pattern enumeration, interwoven redundant logic, quadded logic, reliability analysis
11	Yuantian Ding, Xiaokang Qiu	Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
11	Gerold Jäger, Klas Markström, Lars-Daniel Öhman, Denys Shcherbak	Enumeration of Sets of Mutually Orthogonal Latin Rectangles.	Electron. J. Comb.	2024	DBLP DOI BibTeX RDF
11	Farshad Bolouri, Yildirim Kocoglu, Irish Lorraine B. Pabuayon, Glen Lorin Ritchie, Hamed Sari-Sarraf	CottonSense: A high-throughput field phenotyping system for cotton fruit segmentation and enumeration on edge devices.	Comput. Electron. Agric.	2024	DBLP DOI BibTeX RDF
11	Caroline Brosse, Oscar Defrain, Kazuhiro Kurita, Vincent Limouzy, Takeaki Uno, Kunihiro Wasa	On the hardness of inclusion-wise minimal separators enumeration.	Inf. Process. Lett.	2024	DBLP DOI BibTeX RDF
11	Qinbin He, Fangyue Chen, Wei Jin	Topological equivalence classification and enumeration of n-input linearly separable Boolean functions.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
11	Amritanshu Prasad, Samrith Ram	Enumeration of anti-invariant subspaces and Touchard's formula for the entries of the q-Hermite Catalan matrix.	Adv. Appl. Math.	2024	DBLP DOI BibTeX RDF
11	Gabrielle De Micheli, Pierrick Gaudry, Cécile Pierrot	Lattice Enumeration and Automorphisms for Tower NFS: A 521-Bit Discrete Logarithm Computation.	J. Cryptol.	2024	DBLP DOI BibTeX RDF
11	Qing Pan, Yechun Ma, Nili Tian, Huitang Jiang	A Novel Source Enumeration Method Based on Sparse Representation.	Circuits Syst. Signal Process.	2024	DBLP DOI BibTeX RDF
11	Botong Li, Fahui Chen, Bin Li 0028, Jing Zhang, Xiaotong Ji, Fan Xiao, Qiteng Hong	A Multi-Terminal Current Differential Protection Setting Method for Fully Weak-Infeed Distribution Networks Based on Restricted Enumeration Method.	IEEE Trans. Smart Grid	2024	DBLP DOI BibTeX RDF
11	Yang Wang 0026, Yi Zhou, Ke Du	Enumeration, Nomenclature, and Stability Rules of Carbon Nanobelts.	J. Chem. Inf. Model.	2024	DBLP DOI BibTeX RDF
11	Éric Fusy, Erkan Narmanli, Gilles Schaeffer	On the enumeration of plane bipolar posets and transversal structures.	Eur. J. Comb.	2024	DBLP DOI BibTeX RDF
11	Monika Yadav, Anuradha Sharma	Construction and enumeration of self-orthogonal and self-dual codes over Galois rings of even characteristic.	Des. Codes Cryptogr.	2024	DBLP DOI BibTeX RDF
11	Moulay Abdellah Chkifa	Lattice enumeration via linear programming.	Numerische Mathematik	2024	DBLP DOI BibTeX RDF
11	Francesca Arrigo, Desmond J. Higham, Vanni Noferini, Ryan Wood	Weighted Enumeration of Nonbacktracking Walks on Weighted Graphs.	SIAM J. Matrix Anal. Appl.	2024	DBLP DOI BibTeX RDF
11	Bocong Chen, Guanghui Zhang	Enumeration and Generation of Cyclically Permutable Codes From Cyclic Codes.	IEEE Trans. Inf. Theory	2024	DBLP DOI BibTeX RDF
11	Ting Yu 0004, Ting Jiang, Mohamed Jaward Bah, Chen Zhao, Hao Huang 0001, Mengchi Liu, Shuigeng Zhou, Zhao Li 0007, Ji Zhang	Incremental Maximal Clique Enumeration for Hybrid Edge Changes in Large Dynamic Graphs.	IEEE Trans. Knowl. Data Eng.	2024	DBLP DOI BibTeX RDF
11	Stefka Bouyuklieva, Iliya Bouyukliev	Enumeration of linear codes with different hulls.	CoRR	2024	DBLP DOI BibTeX RDF
11	Panagiotis Lymperopoulos, Liping Liu 0001	Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets.	CoRR	2024	DBLP DOI BibTeX RDF
11	Qihao Cheng, Da Yan 0001, Tianhao Wu, Lyuheng Yuan, Ji Cheng, Zhongyi Huang, Yang Zhou 0001	Efficient Enumeration of Large Maximal k-Plexes.	CoRR	2024	DBLP DOI BibTeX RDF
11	Sabrina Drammis, Bowen Zheng, Karthik Srinivasan, Robert C. Berwick, Nancy A. Lynch, Robert Ajemian	Parallel Algorithms for Exact Enumeration of Deep Neural Network Activation Regions.	CoRR	2024	DBLP DOI BibTeX RDF
11	Sascha Kurz	Computer classification of linear codes based on lattice point enumeration and integer linear programming.	CoRR	2024	DBLP DOI BibTeX RDF
11	Chou-Ying Hsieh, Chia-Ming Chang, Po-Hsiu Cheng, Sy-Yen Kuo	Accelerating Maximal Biclique Enumeration on GPUs.	CoRR	2024	DBLP DOI BibTeX RDF
11	Randall Balestriero, Yann LeCun	Fast and Exact Enumeration of Deep Networks Partitions Regions.	CoRR	2024	DBLP DOI BibTeX RDF
11	Yesdaulet Izenov, Asoke Datta, Brian Tsan, Abylay Amanbayev, Florin Rusu	Spanning Tree-based Query Plan Enumeration.	CoRR	2024	DBLP DOI BibTeX RDF
11	Henan Sun, Zhengyu Wu, Rong-Hua Li, Guoren Wang, Zening Li	K-stars LDP: A Novel Framework for (p, q)-clique Enumeration under Local Differential Privacy.	CoRR	2024	DBLP DOI BibTeX RDF
11	Markus Lohrey, Markus L. Schmid	Enumeration for MSO-Queries on Compressed Trees.	CoRR	2024	DBLP DOI BibTeX RDF
11	Caroline Brosse, Alessio Conte, Vincent Limouzy, Giulia Punzi, Davide Rucci	Output-Sensitive Enumeration of Potential Maximal Cliques in Polynomial Space.	CoRR	2024	DBLP DOI BibTeX RDF
11	Mohit Gurumukhani, Ramamohan Paturi, Pavel Pudlák, Michael E. Saks, Navid Talebanfard	Local Enumeration and Majority Lower Bounds.	CoRR	2024	DBLP DOI BibTeX RDF
11	Nadia Creignou, Oscar Defrain, Frédéric Olive, Simon Vilmin	On the enumeration of signatures of XOR-CNF's.	CoRR	2024	DBLP DOI BibTeX RDF
11	Abir Farouzi, Xiantian Zhou, Ladjel Bellatreche, Mimoun Malki, Carlos Ordonez 0001	Balanced parallel triangle enumeration with an adaptive algorithm.	Distributed Parallel Databases	2024	DBLP DOI BibTeX RDF
11	Katrin Casel, Tobias Friedrich 0001, Stefan Neubert, Markus L. Schmid	Shortest distances as enumeration problem.	Discret. Appl. Math.	2024	DBLP DOI BibTeX RDF
11	Kazuaki Yamazaki, Mengze Qian, Ryuhei Uehara	Efficient enumeration of non-isomorphic distance-hereditary graphs and related graphs.	Discret. Appl. Math.	2024	DBLP DOI BibTeX RDF
11	Caroline Brosse, Aurélie Lagoutte, Vincent Limouzy, Arnaud Mary, Lucas Pastor	Efficient enumeration of maximal split subgraphs and induced sub-cographs and related classes.	Discret. Appl. Math.	2024	DBLP DOI BibTeX RDF
11	Ye Tian 0014, Zhicheng Zhang, Wei Liu 0001, Hua Chen, Gang Wang 0007	Source Enumeration Utilizing Adaptive Diagonal Loading and Linear Shrinkage Coefficients.	IEEE Trans. Signal Process.	2024	DBLP DOI BibTeX RDF
11	Jingchao Lai, Weigen Yan, Xing Feng	Enumeration of perfect matchings of the middle graph of a graph G with △(G)≤4.	Discret. Math.	2024	DBLP DOI BibTeX RDF
11	Tobias Bleifuß, Thorsten Papenbrock, Thomas Bläsius, Martin Schirneck, Felix Naumann	Discovering Functional Dependencies through Hitting Set Enumeration.	Proc. ACM Manag. Data	2024	DBLP DOI BibTeX RDF