Search results for "depth-first-search"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
61	Alain Cournier, Stéphane Devismes, Franck Petit, Vincent Villain	Snap-Stabilizing Depth-First Search on Arbitrary Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	fault-tolerance, Distributed systems, stabilization, depth-first search
55	Ming-Syan Chen, Kang G. Shin	Depth-First Search Approach for Fault-Tolerant Routing in Hypercube.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	obstructed node, performance evaluation, performance, fault tolerant computing, multiprocessor interconnection networks, multiprocessing systems, Hamming distance, fault-tolerant routing, depth-first search, hypercube multicomputers, destination node, component failures
55	Dragan Bosnacki	A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction.	FORTE	2002	DBLP DOI BibTeX RDF	state space reduction techniques, nested depth first search algorithm, multiple representatives, Model checking, symmetry reduction
50	Lars Arge, Ulrich Meyer 0001, Laura Toma, Norbert Zeh	On External-Memory Planar Depth First Search.	WADS	2001	DBLP DOI BibTeX RDF
50	Zhenjiang Li, J. J. Garcia-Luna-Aceves	Finding multi-constrained feasible paths by using depth-first search.	Wirel. Networks	2007	DBLP DOI BibTeX RDF	Multi-constrained path selection, Success ratio, Existence percentage, Competitive ratio, Depth-first search
48	Chee Fen Yu, Benjamin W. Wah	Efficient Branch-and-Bound Algorithms on a Two-Level Memory System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	two-level memory system, storage management, virtual-memory, storage allocation, depth-first search, branch-and-bound algorithms, virtual storage, best-first search
48	Jop F. Sibeyn, James Abello, Ulrich Meyer 0001	Heuristics for semi-external depth first search on directed graphs.	SPAA	2002	DBLP DOI BibTeX RDF	strong components, graph algorithms, depth first search, external memory
48	Chen-Hsing Peng, Biing-Feng Wang, Jia-Shung Wang	Recognizing Unordered Depth-First Search Trees of an Undirected Graph in Parallel.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Depth-first search trees, parallel algorithms, spanning trees, PRAM, the Euler-tour technique
48	Jia-Shung Wang, Biing-Feng Wang, Chen-Hsing Peng	Recognizing depth-first-search trees in parallel.	IPPS	1995	DBLP DOI BibTeX RDF	depth-first-search trees, parallel algorithms, parallel algorithm, computational complexity, directed graphs, time complexity, spanning tree, search problems, undirected graph, tree searching, speed-up, EREW PRAM model
39	Neha Rungta, Eric G. Mercer	Generating Counter-Examples Through Randomized Guided Search.	SPIN	2007	DBLP DOI BibTeX RDF
39	Roman Barták, Hana Rudová	Limited assignments: a new cutoff strategy for incomplete depth-first search.	SAC	2005	DBLP DOI BibTeX RDF	search, constraint satisfaction
39	Clifton Davis, Christoph F. Eick	A heuristic search based factoring tool.	ICTAI	2000	DBLP DOI BibTeX RDF	heuristic search based factoring tool, RSA cryptography, state-based search, heuristic formula, pseudo-smooth integers, security, cryptography, heuristic programming, depth first search, tree searching
38	David Faragó, Peter H. Schmitt	Improving Non-Progress Cycle Checks.	SPIN	2009	DBLP DOI BibTeX RDF	Non-progress cycles, Model Checking, SPIN, partial order reduction, depth-first search, livelocks
38	Roland Ducournau, Michel Habib	On Some Algorithms for Multiple Inheritance in Object-Oriented Programming.	ECOOP	1987	DBLP DOI BibTeX RDF	inheritance with exceptions, Object oriented language, depth-first-search, partial ordered sets, multiple inheritance, linear extensions
36	Jeremy T. Engle, Edward L. Robertson	Depth first algorithms and inferencing for AFD mining.	IDEAS	2009	DBLP DOI BibTeX RDF	Lozenge Search, approximate functional dependencies, powerset lattices, data mining, depth first search
36	Pilar de la Torre, Clyde P. Kruskal	Polynomially Improved Efficiency for Fast Parallel Single-Source Lexicographic Depth-First Search, Breadth-First Search, and Topological-First Search.	Theory Comput. Syst.	2001	DBLP DOI BibTeX RDF
34	Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar 0001	DFS Based Partial Pathways in GA for Protein Structure Prediction.	PRIB	2008	DBLP DOI BibTeX RDF	genetic algorithm, protein structure prediction, Depth-first search, lattice model
34	Mohamed Naimi	Parallel assignment to distinct identities in arbitrary networks.	ICCCN	1995	DBLP DOI BibTeX RDF	sequential distributed algorithm, parallel assignment, distinct identities, parallel distributed algorithm, distributed system nodes, initiator channel, children channel, outgoing channels, upper bound time transmission, parallel algorithms, multiprocessor interconnection networks, time complexity, communication complexity, spanning tree, depth-first search, network diameter, rooted tree, arbitrary network, synchronous distributed systems
34	Yannis E. Ioannidis, Raghu Ramakrishnan 0001, Linda Winger	Transitive Closure Algorithms Based on Graph Traversal.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	node reachability, transitive closure, depth-first search, path computations
33	William Yeoh 0001, Ariel Felner, Sven Koenig	IDB-ADOPT: A Depth-First Search DCOP Algorithm.	CSCLP	2008	DBLP DOI BibTeX RDF	Distributed Search Algorithms, ADOPT, Distributed Constraint Optimization, DCOP
33	Yonghong Chen, Xing Liu, Vaithianathan Mani Venkatasubramanian	Fast Algorithms for Detecting Circular VAR Flows in Large Power-Flow Models.	HICSS	2008	DBLP DOI BibTeX RDF	Loop flows, power-flow studies, Directed graphs, depth-first search, electric power system
33	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
33	Mhand Hifi	Dynamic Programming and Hill-Climbing Techniques for Constrained Two-Dimensional Cutting Stock Problems.	J. Comb. Optim.	2004	DBLP DOI BibTeX RDF	dynamic programming, heuristics, hill-climbing, depth-first search, knapsacking, cutting stock
32	Raul H. C. Lopes, Mark Tarver	Inducing Theorem Provers from Proofs.	ICTAI	1997	DBLP DOI BibTeX RDF	theorem prover induction, automatic theorem prover generation, proof examples, intuitionistic propositional calculus, depth-first search strategy, loop detection, inductive generalization, machine learning, theorem proving
30	Jens Clausen, Michael Perregaard	On the best search strategy in parallel branch-and-bound: Best-First Search versus Lazy Depth-First Search.	Ann. Oper. Res.	1999	DBLP DOI BibTeX RDF
29	Qiusun Ye	Realization of Depth-first Search Based AI Properties of VCR.	WKDD	2009	DBLP DOI BibTeX RDF
29	David J. King, John Launchbury	Structuring Depth-First Search Algorithms in Haskell.	POPL	1995	DBLP DOI BibTeX RDF	Haskell
27	Takashi Hirayama, Yasuaki Nishitani	Efficient Search Methods for Obtaining Exact Minimum AND-EXOR Expressions.	DELTA	2006	DBLP DOI BibTeX RDF
26	Emir Zunic, Almir Djedovic, B. Zunic	Software solution for optimal planning of sales persons work based on Depth-First Search and Breadth-First Search algorithms.	MIPRO	2016	DBLP DOI BibTeX RDF
26	Wilhelmiina Hämäläinen	Lift-based search for significant dependencies in dense data sets.	KDD Workshop on Statistical and Relational Learning in Bioinformatics	2009	DBLP DOI BibTeX RDF	association rules, redundancy, dependency analysis, depth-first search, statistical significance
26	Maofu Liu, Wenjie Li 0002, Xiaolong Zhang, Ji Zhang	Event-Based Summarization Using Critical Temporal Event Term Chain.	ICCPOL	2009	DBLP DOI BibTeX RDF	Event-Based Summarization, Event Term Graph, Temporal Event Term Chain, Depth-First Search Algorithm
26	Renata Braga Araújo, Guilherme Henrique Trielli Ferreira, Gustavo Henrique Orair, Wagner Meira Jr., Renato Antônio Celso Ferreira, Dorgival Olavo Guedes Neto, Mohammed Javeed Zaki	The ParTriCluster Algorithm for Gene Expression Analysis.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	Clustering, Parallel programming, Bioinformatics, Depth-first search
26	Rajneesh Hegde	Finding 3-shredders efficiently.	ACM Trans. Algorithms	2006	DBLP DOI BibTeX RDF	four-connected, shredder, vertex cut, Depth-first search
26	Roderick Bloem, Harold N. Gabow, Fabio Somenzi	An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	language emptiness, Büchi automata, Streett automata, model checking, binary decision diagrams, depth-first search, breadth-first search, strongly connected components, symbolic algorithms
26	Thomas Erlebach, Torben Hagerup	Routing Flow Through a Strongly Connected Graph.	Algorithmica	2002	DBLP DOI BibTeX RDF	Feasible-flow problem, Strongly connected graph, Network flow, Analysis of algorithms, Depth-first search, Maximum-flow problem
26	Art Kazmierczak, Sridhar Radhakrishnan	An Optimal Distributed Ear Decomposition Algorithm with Applications to Biconnectivity and Outerplanarity Testing.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	biconnectivity testing, outerplanarity testing, Distributed algorithm, message complexity, depth first search, ear decomposition
26	Valery M. Chelnokov, Victoria L. Zephyrova	Collective Phenomena in Hypertext Networks.	Hypertext	1997	DBLP DOI BibTeX RDF	SMIsC, cluster of meaning formed by hypertext nodes, coherent navigation, collective phenomena in populations of hypertext nodes, discourse macrostructure, discourse semantic coherence, hypertext statics and dynamics, hypertext-node macrostatus, spreading-activation search, Internet, Internet, depth-first search
26	Nader Bagherzadeh, Nayla Nassif, Shahram Latifi	A Routing and Broadcasting Scheme on Faulty Star Graphs.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	faulty star graphs, backtracking technique, faulty links, performance analysis, distributed algorithms, fault tolerant computing, shortest path, depth first search, routing scheme, optimal path, broadcasting scheme
26	Michel Billaud	Axiomatizations of Backtracking.	STACS	1992	DBLP DOI BibTeX RDF	foundations of logic programming, equivalence of program schemes, Prolog, backtracking, depth-first search, algebraic semantics, semantics of programming languages
26	Ming-Syan Chen, Kang G. Shin	Adaptive Fault-Tolerant Routing in Hypercube Multicomputers.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	adaptive fault tolerant routing, fault tolerant computing, multiprocessor interconnection networks, depth-first search, hypercube multicomputers
26	Philip N. Klein	Efficient Parallel Algorithms for Chordal Graphs	FOCS	1988	DBLP DOI BibTeX RDF	elimination ordering, optimal coloring, breadth-first search tree, depth-first search tree, parallel algorithms, interval graphs, chordal graphs, isomorphism, maximum independent set, maximum clique
26	Andrew V. Goldberg, Serge A. Plotkin, Pravin M. Vaidya	Sublinear-Time Parallel Algorithms for Matching and Related Problems	FOCS	1988	DBLP DOI BibTeX RDF	sublinear-time parallel algorithms, maximal node-disjoint paths, zero-one networks, matching, depth-first search, node-disjoint paths, combinatorial structure
26	Sukhamay Kundu	An O(V) algorithm M for computing transitive reduction of a planar acyclic digraph.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	planar digraph, transitive reduction, algorithm, depth-first search
26	Ivan Stojmenovic, Mark Russell, Bosko Vukojevic	Depth First Search and Location Based Localized Routing and QoS Routing in Wireless Networks.	ICPP	2000	DBLP DOI BibTeX RDF
25	Micah Adler, Brent Heeringa	Search Space Reductions for Nearest-Neighbor Queries.	TAMC	2008	DBLP DOI BibTeX RDF
24	Zhenjiang Li, J. J. Garcia-Luna-Aceves	Solving The Multi-Constrained Path Selection Problem By Using Depth First Search.	QSHINE	2005	DBLP DOI BibTeX RDF
22	Peter J. Varman, Kshitij A. Doshi	Improved parallel algorithms for the depth-first search and monotone circuit value problems.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
22	Ziyu Chen, Chen He, Zhen He, Minyou Chen	BD-ADOPT: a hybrid DCOP algorithm with best-first and depth-first search strategies.	Artif. Intell. Rev.	2018	DBLP DOI BibTeX RDF
22	Jianmin Zhang, Weixia Xu, Jun Zhang, ShengYu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li	Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm.	IDEAL	2011	DBLP DOI BibTeX RDF
22	Andreas Auer, Hermann Kaindl	A Case Study of Revisiting Best-First vs. Depth-First Search.	ECAI	2004	DBLP BibTeX RDF
22	Martin E. Dyer, Alan M. Frieze	Probabilistic Analysis of a Parallel Algorithm for Finding the Lexicographically First Depth First Search Tree in a Dense Random Graph.	Random Struct. Algorithms	1991	DBLP DOI BibTeX RDF
21	Hon Nin Cheung, Li-Minn Ang, Kamran Eshraghian	Parallel Architecture for the Implementation of the Embedded Zerotree Wavelet Algorithm.	ACAC	2000	DBLP DOI BibTeX RDF	EZW, Parallel processing, image coding
21	Mark E. Stickel	A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.	DISCO	1990	DBLP DOI BibTeX RDF
21	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Directed explicit-state model checking in the validation of communication protocols.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Directed search, Protocol validation
20	Valentin Antuori, Emmanuel Hebrard, Marie-José Huguet, Siham Essodaigui, Alain Nguyen	Combining Monte Carlo Tree Search and Depth First Search Methods for a Car Manufacturing Workshop Scheduling Problem.	CP	2021	DBLP DOI BibTeX RDF
20	Laizhong Cui, Genghui Li, Qiuzhen Lin, Zhihua Du, Weifeng Gao, Jianyong Chen, Nan Lu	A novel artificial bee colony algorithm with depth-first search framework and elite-guided search equation.	Inf. Sci.	2016	DBLP DOI BibTeX RDF
20	Christophe Duhamel, Philippe Lacomme, Caroline Prodhon	A hybrid evolutionary local search with depth first search split procedure for the heterogeneous vehicle routing problems.	Eng. Appl. Artif. Intell.	2012	DBLP DOI BibTeX RDF
20	Blai Bonet, Hector Geffner	Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and Its Application to MDPs.	ICAPS	2006	DBLP BibTeX RDF
20	Lon-Chan Chu, Benjamin W. Wah	Band Search: An Efficient Alternative to Guided Depth-First Search.	ICTAI	1992	DBLP DOI BibTeX RDF
19	Laurent Michel, Pascal Van Hentenryck	A decomposition-based implementation of search strategies.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	search, combinatorial optimization, Constraint programming
19	Chao Wang 0001, Yu Yang 0013, Aarti Gupta, Ganesh Gopalakrishnan	Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.	ATVA	2008	DBLP DOI BibTeX RDF
19	V. Nageshwara Rao, Vipin Kumar 0001	Superlinear Speedup in Parallel State-Space Search.	FSTTCS	1988	DBLP DOI BibTeX RDF
19	Abusayeed M. Saifullah, Yung H. Tsin	A Self-stabilizing Algorithm For 3-Edge-Connectivity.	ISPA	2007	DBLP DOI BibTeX RDF
17	Jian Wu, Sherif Abdelwahed	Discrete-input receding horizon control applied to pneumatic hopping robot energy regulation.	SMC	2007	DBLP DOI BibTeX RDF
17	Brian C. Dean, Michel X. Goemans, Nicole Immorlica	Finite Termination of "Augmenting Path" Algorithms in the Presence of Irrational Problem Data.	ESA	2006	DBLP DOI BibTeX RDF
17	Vincent T'kindt, Federico Della Croce, Carl Esswein	Revisiting Branch and Bound Search Strategies for Machine Scheduling Problems.	J. Sched.	2004	DBLP DOI BibTeX RDF	search tree strategies, dominance properties, branch and bound
17	Hitomi Saito, Kazuhisa Miwa	A Cognitive Study of Information Seeking Processes in the WWW: The Effects of Searcher's Knowledge and Experience.	WISE (1)	2001	DBLP DOI BibTeX RDF	Problem solving, information seeking behavior, information literacy, information education
16	Stefan Edelkamp, Peter Sanders 0001, Pavel Simecek	Semi-external LTL Model Checking.	CAV	2008	DBLP DOI BibTeX RDF
16	Svante Janson	On Knuth's conjecture for back and forward arcs in Depth First Search in a random digraph with geometric outdegree distribution.	CoRR	2023	DBLP DOI BibTeX RDF
16	Zhiwei Li, Jun Xu 0022, Lei Hu	Signal Leakage Attack Meets Depth First Search: an Improved Approach on DXL Key Exchange Protocol.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
16	Xiaofeng Lv, Deyun Zhou, Fuqiang Li	Research on Optimization Technology for Sequential Diagnostic Strategy based on Improved Quasi-Depth First Search Algorithm.	CNIOT	2023	DBLP DOI BibTeX RDF
16	Santhosh B. Gandreti, P. S. Sastry	Efficient Depth-First Search Approach for Mining Injective General Episodes.	COMAD/CODS	2023	DBLP DOI BibTeX RDF
16	Sahar Diskin, Michael Krivelevich	On the Performance of the Depth First Search Algorithm in Supercritical Random Graphs.	Electron. J. Comb.	2022	DBLP DOI BibTeX RDF
16	Xiaolong Wan, Hongzhi Wang 0001	Efficient semi-external depth-first search.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
16	Eric Allender, Archit Chauhan, Samir Datta	Depth-first search in directed planar graphs, revisited.	Acta Informatica	2022	DBLP DOI BibTeX RDF
16	Surender Baswana, Shiv Kumar Gupta 0001, Ayush Tulsyan	Fault Tolerant Depth First Search in Undirected Graphs: Simple Yet Efficient.	Algorithmica	2022	DBLP DOI BibTeX RDF
16	Jie Yuan, Daniel Jones 0006, Gemma L. Nicholson	Flexible Real-time Railway Crew Rescheduling using Depth-first Search.	J. Rail Transp. Plan. Manag.	2022	DBLP DOI BibTeX RDF
16	Philippe Jacquet, Svante Janson	Depth-First Search performance in a random digraph with geometric outdegree distribution.	CoRR	2022	DBLP DOI BibTeX RDF
16	Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa, Giuseppe De Giacomo	Iterative Depth-First Search for Fully Observable Non-Deterministic Planning.	CoRR	2022	DBLP DOI BibTeX RDF
16	Robert E. Tarjan, Uri Zwick	Finding Strong Components Using Depth-First Search.	CoRR	2022	DBLP BibTeX RDF
16	Jie Wang, Yongfang Xie, Shiwen Xie, Xiaofang Chen	Cooperative particle swarm optimizer with depth first search strategy for global optimization of multimodal functions.	Appl. Intell.	2022	DBLP DOI BibTeX RDF
16	Saidgani Musaev, Wan J. Fokkink	A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
16	Philippe Jacquet, Svante Janson	Depth-First Search Performance in a Random Digraph with Geometric Degree Distribution.	AofA	2022	DBLP DOI BibTeX RDF
16	Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa, Giuseppe De Giacomo	Iterative Depth-First Search for FOND Planning.	ICAPS	2022	DBLP BibTeX RDF
16	Hanan Hussein, Mohamed Hanafy Radwan, Hussein A. Elsayed, Sherine M. Abd El-Kader	Depth-first-search-tree based D2D power allocation algorithms for V2I/V2V shared 5G network resources.	Wirel. Networks	2021	DBLP DOI BibTeX RDF
16	Eric Allender, Archit Chauhan, Samir Datta	Depth-First Search in Directed Planar Graphs, Revisited.	MFCS	2021	DBLP DOI BibTeX RDF
16	Vasileios Trigonakis, Jean-Pierre Lozi, Tomás Faltín, Nicholas P. Roth, Iraklis Psaroudakis, Arnaud Delamare, Vlad Haprian, Calin Iorgulescu, Petr Koupy, Jinsoo Lee, Sungpack Hong, Hassan Chafi	aDFS: An Almost Depth-First-Search Distributed Graph-Querying System.	USENIX Annual Technical Conference	2021	DBLP BibTeX RDF
16	Eric Allender, Archit Chauhan, Samir Datta	Depth-First Search in Directed Graphs, Revisited.	Electron. Colloquium Comput. Complex.	2020	DBLP BibTeX RDF
16	Xiaolong Wan, Hongzhi Wang 0001	Efficient Semi-External Depth-First Search.	CoRR	2020	DBLP BibTeX RDF
16	Nathanaël Enriquez, Gabriel Faraud, Laurent Ménard	Limiting shape of the depth first search tree in an Erdős-Rényi graph.	Random Struct. Algorithms	2020	DBLP DOI BibTeX RDF
16	Ying-Hsuan Chen, Chang-Ming Wu	An Improved Algorithm for Searching Maze Based on Depth-First Search.	ICCE-TW	2020	DBLP DOI BibTeX RDF
16	Taisuke Izumi, Yota Otachi	Sublinear-Space Lexicographic Depth-First Search for Bounded Treewidth Graphs and Planar Graphs.	ICALP	2020	DBLP DOI BibTeX RDF
16	Onur Ugurlu, Vahid Khalilpour Akram, Deniz Türsel Eliiyi	A Distributed Depth First Search based Algorithm for Edge Connectivity Estimation.	CNSM	2020	DBLP DOI BibTeX RDF
16	Shahbaz Khan 0004, Shashank K. Mehta	Depth First Search in the Semi-streaming Model.	CoRR	2019	DBLP BibTeX RDF
16	Bohua Yang, Dong Wen 0001, Lu Qin 0001, Ying Zhang 0001, Xubo Wang, Xuemin Lin 0001	Fully Dynamic Depth-First Search in Directed Graphs. (PDF / PS)	Proc. VLDB Endow.	2019	DBLP DOI BibTeX RDF
16	S. Janardhanaprabhu, Veluchamy Malathi	Brain Tumor Detection Using Depth-First Search Tree Segmentation.	J. Medical Syst.	2019	DBLP DOI BibTeX RDF
16	Xiaoyan Liao, Yang Li, Ningyun Lu, Bin Jiang 0001	Optimal Test Sequencing Method with Unreliable Tests based on Quasi-depth First Search Algorithm.	CAA SAFEPROCESS	2019	DBLP DOI BibTeX RDF
16	Daniele G. Spampinato, Upasana Sridhar, Tze Meng Low	Linear algebraic depth-first search.	ARRAY@PLDI	2019	DBLP DOI BibTeX RDF
16	Shahbaz Khan 0004, Shashank K. Mehta	Depth First Search in the Semi-streaming Model.	STACS	2019	DBLP DOI BibTeX RDF