Search results for "Exact algorithms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Andreas Björklund, Thore Husfeldt	Exact Algorithms for Exact Satisfiability and Number of Perfect Matchings.	Algorithmica	2008	DBLP DOI BibTeX RDF	Exact satisfability, Number of perfect matchings, Set cover, Exact algorithms, Set partition
3	Johan M. M. van Rooij, Hans L. Bodlaender	Exact Algorithms for Edge Domination.	IWPEC	2008	DBLP DOI BibTeX RDF	minimum maximal matching, exponential time algorithms, measure and conquer, exact algorithms, edge dominating set
3	Petrica C. Pop, Corina Pop Sitar, Ioana Zelina, Ioana Tascu	Exact Algorithms for Generalized Combinatorial Optimization Problems.	COCOA	2007	DBLP DOI BibTeX RDF	generalized combinatorial optimization problems, dynamic programming, exact algorithms
3	Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger	05301 Summary - Exact Algorithms and Fixed-Parameter Tractability.	Exact Algorithms and Fixed-Parameter Tractability	2005	DBLP BibTeX RDF
3	Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger	05301 Abstracts Collection - Exact Algorithms and Fixed-Parameter Tractability.	Exact Algorithms and Fixed-Parameter Tractability	2005	DBLP BibTeX RDF
3	Jianer Chen, Iyad A. Kanj	Improved Exact Algorithms for MAX-SAT.	LATIN	2002	DBLP DOI BibTeX RDF	exact algorithms, parameterized algorithms, maximum satisfiability
2	Fedor V. Fomin, Fabrizio Grandoni, Dieter Kratsch	A measure & conquer approach for the analysis of exact algorithms.	J. ACM	2009	DBLP DOI BibTeX RDF	Dominating set, exact algorithm, independent set
2	Hajo Broersma, Fedor V. Fomin, Pim van 't Hof, Daniël Paulusma	Fast Exact Algorithms for Hamiltonicity in Claw-Free Graphs.	WG	2009	DBLP DOI BibTeX RDF
2	Iyad A. Kanj, Dieter Kratsch	Convex Recoloring Revisited: Complexity and Exact Algorithms.	COCOON	2009	DBLP DOI BibTeX RDF
2	Komei Fukuda	Exact algorithms and software in optimization and polyhedral computation.	ISSAC	2008	DBLP DOI BibTeX RDF	exact implementation, optimization, algorithms, polytopes, convex geometry
2	Roberto Baldacci, Paolo Toth, Daniele Vigo	Recent advances in vehicle routing exact algorithms.	4OR	2007	DBLP DOI BibTeX RDF	MSC classification (2000) 90B06, 90-02, 65K05
2	Venkatesh Raman, Saket Saurabh, Somnath Sikdar	Efficient Exact Algorithms through Enumerating Maximal Independent Sets and Other Techniques.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
2	Fedor V. Fomin, Serge Gaspers, Saket Saurabh	Improved Exact Algorithms for Counting 3- and 4-Colorings.	COCOON	2007	DBLP DOI BibTeX RDF
2	Jaime Davila, Sudha Balla, Sanguthevar Rajasekaran	Fast and Practical Algorithms for Planted (l, d) Motif Search.	IEEE/ACM Trans. Comput. Biology Bioinform.	2007	DBLP DOI BibTeX RDF	Planted motif search problem, challenging instances, exact algorithms, branch and bound algorithms
2	Andreas Björklund, Thore Husfeldt	Exact Algorithms for Exact Satisfiability and Number of Perfect Matchings.	ICALP	2006	DBLP DOI BibTeX RDF
2	Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger (eds.)	Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005	Exact Algorithms and Fixed-Parameter Tractability	2006	DBLP BibTeX RDF
2	Fedor V. Fomin, Fabrizio Grandoni, Dieter Kratsch	Measure and conquer: a simple O(20.288n) independent set algorithm.	SODA	2006	DBLP DOI BibTeX RDF	exponential-time exact algorithms, independent set problem, NP-hard problems, algorithms and data structures
2	Lucian Ilie, Liviu Tinta, Cristian Popescu, Kathleen A. Hill	Viral Genome Compression.	DNA	2006	DBLP DOI BibTeX RDF	viral genomes, genome compression, overlapping genes, shortest common superstring problem, lower bounds, exact algorithms, viruses, approximate solutions
2	Hans L. Bodlaender, Corinne Feremans, Alexander Grigoriev, Eelko Penninkx, René Sitters, Thomas Wolle	On the Minimum Corridor Connection Problem and Other Generalized Geometric Problems.	WAOA	2006	DBLP DOI BibTeX RDF	minimum corridor connection, generalized geometric problems, complexity, approximations, exact algorithms
2	Haiou Shen, Hantao Zhang	Improving exact algorithms for MAX-2-SAT.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	exact algorithms, propositional satisfiability, maximum satisfiability
2	Jakob Puchinger, Günther R. Raidl	Combining Metaheuristics and Exact Algorithms in Combinatorial Optimization: A Survey and Classification.	IWINAC	2005	DBLP DOI BibTeX RDF
2	Tobias Riege, Jörg Rothe	An Exact 2.9416n Algorithm for the Three Domatic Number Problem.	MFCS	2005	DBLP DOI BibTeX RDF	domatic number problem, Exact algorithms
2	Jens Gramm, Jiong Guo, Falk Hüffner, Rolf Niedermeier	Graph-Modeled Data Clustering: Fixed-Parameter Algorithms for Clique Generation.	CIAC	2003	DBLP DOI BibTeX RDF	edge modification problems, data clustering, NP-complete problems, exact algorithms, fixed-parameter tractability
2	Jens Gramm, Rolf Niedermeier	Faster Exact Solutions for MAX2SAT.	CIAC	2000	DBLP DOI BibTeX RDF	MAX2SAT, Maximum Cut, NP-complete problems, exact algorithms, parameterized complexity
2	Tatsuya Akutsu	Approximation and Exact Algorithms for RNA Secondary Structure Prediction and Recognition of Stochastic Context-Free Languages.	ISAAC	1998	DBLP DOI BibTeX RDF
2	Ludek Kucera, Kurt Mehlhorn, B. Preis, E. Schwarzenecker	Exact Algorithms for a Geometric Packing Problem (Extended Abstract).	STACS	1993	DBLP DOI BibTeX RDF
2	Fillia Makedon, Antonios Symvonis	An Efficient Heuristic for Permutation Packet Routing on Meshes with Low Buffer Requirements.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	permutation packet routing, low buffer requirements, optimal time inversion, parallel algorithms, parallel algorithms, parallel architectures, heuristic, meshes, packet switching, upper bound, exact algorithms, transposition
2	Srinivas Devadas, A. Richard Newton	Exact algorithms for output encoding, state assignment, and four-level Boolean minimization.	IEEE Trans. on CAD of Integrated Circuits and Systems	1991	DBLP DOI BibTeX RDF
1	Guoqiang Bai 0002, Henning Fernau	Constraint bipartite vertex cover: simpler exact algorithms and implementations.	J. Comb. Optim.	2012	DBLP DOI BibTeX RDF
1	Roberto Baldacci, Aristide Mingozzi, Roberto Roberti	Recent exact algorithms for solving the vehicle routing problem under capacity and time window constraints.	European Journal of Operational Research	2012	DBLP DOI BibTeX RDF
1	Mohammad Dolatabadi, Andrea Lodi, Michele Monaci	Exact algorithms for the two-dimensional guillotine knapsack.	Computers & OR	2012	DBLP DOI BibTeX RDF
1	Lucie Galand, Olivier Spanjaard	Exact algorithms for OWA-optimization in multiobjective spanning tree problems.	Computers & OR	2012	DBLP DOI BibTeX RDF
1	Eun Jung Kim, Daniel Goncalves	On Exact Algorithms for Permutation CSP	CoRR	2012	DBLP BibTeX RDF
1	Kristoffer Arnsfelt Hansen, Michal Koucký, Niels Lauritzen, Peter Bro Miltersen, Elias P. Tsigaridas	Exact Algorithms for Solving Stochastic Games	CoRR	2012	DBLP BibTeX RDF
1	Hans L. Bodlaender, Fedor V. Fomin, Arie M. C. A. Koster, Dieter Kratsch, Dimitrios M. Thilikos	A Note on Exact Algorithms for Vertex Ordering Problems on Graphs.	Theory Comput. Syst.	2012	DBLP DOI BibTeX RDF
1	Akshay Deepak, Jianrong Dong, David Fernández-Baca	Identifying Rogue Taxa through Reduced Consensus: NP-Hardness and Exact Algorithms.	ISBRA	2012	DBLP DOI BibTeX RDF
1	Maria Kandyba-Chimani	Exact algorithms for network design problems using graph orientations.		2011	RDF
1	N. S. Narayanaswamy, C. R. Subramanian	Dominating set based exact algorithms for 3-coloring.	Inf. Process. Lett.	2011	DBLP DOI BibTeX RDF
1	Tatsuya Akutsu, Daiji Fukagawa, Atsuhiro Takasu, Takeyuki Tamura	Exact algorithms for computing the tree edit distance between unordered trees.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Haisheng Tan, Tiancheng Lou, Yuexuan Wang, Qiang-Sheng Hua, Francis C. M. Lau	Exact algorithms to minimize interference in wireless sensor networks.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Cid C. de Souza, Victor F. Cavalcante	Exact algorithms for the vertex separator problem in graphs.	Networks	2011	DBLP DOI BibTeX RDF
1	Fedor V. Fomin, Petr A. Golovach, Jan Kratochvíl, Dieter Kratsch, Mathieu Liedloff	Branch and Recharge: Exact Algorithms for Generalized Domination.	Algorithmica	2011	DBLP DOI BibTeX RDF
1	Sebastian Böcker, Sebastian Briesemeister, Gunnar W. Klau	Exact Algorithms for Cluster Editing: Evaluation and Experiments.	Algorithmica	2011	DBLP DOI BibTeX RDF
1	Frédéric Havet, Martin Klazar, Jan Kratochvíl, Dieter Kratsch, Mathieu Liedloff	Exact Algorithms for L(2, 1)-Labeling of Graphs.	Algorithmica	2011	DBLP DOI BibTeX RDF
1	Sang Won Bae, Sunghee Choi, Chunseok Lee, Shin-ichi Tanigawa	Exact Algorithms for the Bottleneck Steiner Tree Problem.	Algorithmica	2011	DBLP DOI BibTeX RDF
1	Cristiano Arbex Valle, Leonardo Conegundes Martinez, Alexandre Salles da Cunha, Geraldo Robson Mateus	Heuristic and exact algorithms for a min-max selective vehicle routing problem.	Computers & OR	2011	DBLP DOI BibTeX RDF
1	Fabrice Talla Nobibon, Roel Leus	Exact algorithms for a generalization of the order acceptance and scheduling problem in a single-machine environment.	Computers & OR	2011	DBLP DOI BibTeX RDF
1	Zhi-Zhong Chen, Lusheng Wang	Fast Exact Algorithms for the Closest String and Substring Problems with Application to the Planted (L, d)-Motif Model.	IEEE/ACM Trans. Comput. Biology Bioinform.	2011	DBLP DOI BibTeX RDF
1	Johan M. M. van Rooij, Hans L. Bodlaender	Exact algorithms for dominating set.	Discrete Applied Mathematics	2011	DBLP DOI BibTeX RDF
1	Hans L. Bodlaender, Dieter Kratsch	Exact Algorithms for Kayles.	WG	2011	DBLP DOI BibTeX RDF
1	Elyot Grant, Timothy M. Chan	Exact Algorithms and APX-Hardness Results for Geometric Set Cover.	CCCG	2011	DBLP BibTeX RDF
1	Ferdinando Cicalese, Martin Milanic, Ugo Vaccaro	Hardness, Approximability, and Exact Algorithms for Vector Domination and Total Vector Domination in Graphs.	FCT	2011	DBLP DOI BibTeX RDF
1	Hans L. Bodlaender, Johan M. M. van Rooij	Exact Algorithms for Intervalizing Colored Graphs.	TAPAS	2011	DBLP DOI BibTeX RDF
1	Kristoffer Arnsfelt Hansen, Michal Koucký, Niels Lauritzen, Peter Bro Miltersen, Elias P. Tsigaridas	Exact algorithms for solving stochastic games: extended abstract.	STOC	2011	DBLP DOI BibTeX RDF
1	Fedor V. Fomin, Serge Gaspers, Dieter Kratsch, Mathieu Liedloff, Saket Saurabh	Iterative compression and exact algorithms.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Frederic Dorn, Eelko Penninkx, Hans L. Bodlaender, Fedor V. Fomin	Efficient Exact Algorithms on Planar Graphs: Exploiting Sphere Cut Decompositions.	Algorithmica	2010	DBLP DOI BibTeX RDF
1	Takeyuki Tamura, Tatsuya Akutsu	Exact Algorithms for Finding a Minimum Reaction Cut under a Boolean Model of Metabolic Networks.	IEICE Transactions	2010	DBLP BibTeX RDF
1	Roberto Baldacci, Paolo Toth, Daniele Vigo	Exact algorithms for routing problems under vehicle capacity constraints.	Annals OR	2010	DBLP DOI BibTeX RDF
1	Ferdinando Cicalese, Martin Milanic, Ugo Vaccaro	Hardness, approximability, and exact algorithms for vector domination and total vector domination in graphs	CoRR	2010	DBLP BibTeX RDF
1	Ibrahim Muter, S. Ilker Birbil, Güvenç Sahin	Combination of Metaheuristic and Exact Algorithms for Solving Set Covering-Type Optimization Problems.	INFORMS Journal on Computing	2010	DBLP DOI BibTeX RDF
1	Christoph Buchheim, Angelika Wiegele, Lanbo Zheng	Exact Algorithms for the Quadratic Linear Ordering Problem.	INFORMS Journal on Computing	2010	DBLP DOI BibTeX RDF
1	Irina Dumitrescu, Thomas Stützle	Usage of Exact Algorithms to Enhance Stochastic Local Search Algorithms.	Matheuristics	2010	DBLP DOI BibTeX RDF
1	Fabrice Talla Nobibon, Cor A. J. Hurkens, Roel Leus, Frits C. R. Spieksma	Exact Algorithms for Coloring Graphs While Avoiding Monochromatic Cycles.	AAIM	2010	DBLP DOI BibTeX RDF
1	Ramamohan Paturi	Exact Algorithms and Complexity.	SAT	2010	DBLP DOI BibTeX RDF
1	Yiliang Xu, Dezhen Song, Jingang Yi	Exact algorithms for non-overlapping 2-frame problem with non-partial coverage for networked robotic cameras.	CASE	2010	DBLP DOI BibTeX RDF
1	Konstanty Junosza-Szaniawski, Pawel Rzazewski	On Improved Exact Algorithms for L(2, 1)-Labeling of Graphs.	IWOCA	2010	DBLP DOI BibTeX RDF
1	Sepp Hartung, Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann	Exact Algorithms and Experiments for Hierarchical Tree Clustering.	AAAI	2010	DBLP BibTeX RDF
1	Abdullah Mueen, Suman Nath, Jie Liu	Fast approximate correlation for massive time-series data.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	discrete fourier transform, correlation matrix
1	Daniel Lokshtanov, Jesper Nederlof	Saving space by algebraization.	STOC	2010	DBLP DOI BibTeX RDF	moebius, dynamic programming, space efficient, fourier
1	Cristiano Arbex Valle, Alexandre Salles da Cunha, Geraldo Robson Mateus, Leonardo C. Martinez	Exact algorithms for a selective Vehicle Routing Problem where the longest route is minimized.	Electronic Notes in Discrete Mathematics	2009	DBLP DOI BibTeX RDF
1	Fedor V. Fomin, Petr A. Golovach, Jan Kratochvíl, Dieter Kratsch, Mathieu Liedloff	Sort and Search: Exact algorithms for generalized domination.	Inf. Process. Lett.	2009	DBLP DOI BibTeX RDF
1	Mitsutoshi Kenmochi, Takashi Imamichi, Koji Nonobe, Mutsunori Yagiura, Hiroshi Nagamochi	Exact algorithms for the two-dimensional strip packing problem with and without rotations.	European Journal of Operational Research	2009	DBLP DOI BibTeX RDF
1	Leo van Iersel, Steven Kelk, Matthias Mnich	Uniqueness, Intractability and Exact Algorithms: Reflections on Level-k Phylogenetic Networks.	J. Bioinformatics and Computational Biology	2009	DBLP DOI BibTeX RDF
1	Kamer Kaya, Bora Uçar	Exact Algorithms for a Task Assignment Problem.	Parallel Processing Letters	2009	DBLP DOI BibTeX RDF
1	Dries R. Goossens, Frits C. R. Spieksma	Exact algorithms for the matrix bid auction.	Computers & OR	2009	DBLP DOI BibTeX RDF
1	Joachim Kneis, Daniel Mölle, Stefan Richter, Peter Rossmanith	A Bound on the Pathwidth of Sparse Graphs with Applications to Exact Algorithms.	SIAM J. Discrete Math.	2009	DBLP DOI BibTeX RDF
1	Francis Sourd	New Exact Algorithms for One-Machine Earliness-Tardiness Scheduling.	INFORMS Journal on Computing	2009	DBLP DOI BibTeX RDF
1	Kevin Buchin, Maike Buchin, Yusu Wang	Exact algorithms for partial curve matching via the Fréchet distance.	SODA	2009	DBLP DOI BibTeX RDF
1	Rita Macedo, Cláudio Alves, José M. Valério de Carvalho	Exact Algorithms for Vehicle Routing Problems with Different Service Constraints.	CTW	2009	DBLP BibTeX RDF
1	Nicolas Bourgeois, Federico Della Croce, Bruno Escoffier, Vangelis Th. Paschos	Exact Algorithms for Dominating Clique Problems.	ISAAC	2009	DBLP DOI BibTeX RDF
1	Sang Won Bae, Sunghee Choi, Chunseok Lee, Shin-ichi Tanigawa	Exact Algorithms for the Bottleneck Steiner Tree Problem.	ISAAC	2009	DBLP DOI BibTeX RDF
1	Qiang-Sheng Hua, Dongxiao Yu, Francis C. M. Lau, Yuexuan Wang	Exact Algorithms for Set Multicover and Multiset Multicover Problems.	ISAAC	2009	DBLP DOI BibTeX RDF
1	Gildas Jeantet, Olivier Spanjaard	Optimizing the Hurwicz Criterion in Decision Trees with Imprecise Probabilities.	ADT	2009	DBLP DOI BibTeX RDF	Hurwicz’s criterion, Computational complexity, Exact algorithms, Imprecise probabilities, Sequential decision making
1	Narges Simjour	Improved Parameterized Algorithms for the Kemeny Aggregation Problem.	IWPEC	2009	DBLP DOI BibTeX RDF	Kemeny score, parameterized, enumeration, exact algorithms
1	Rainer E. Burkard	Communication Network Assignment Problem.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Optimization, Computational complexity, Communication network, Exact algorithms, Assignment problem, Heuristic approaches, Asymptotic behavior
1	Eva K. Lee, John E. Mitchell	Integer Programming: Branch and Bound Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Integer program, Branch and bound, Exact algorithms
1	John E. Mitchell	Integer Programming: Cutting Plane Algorithms.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Integer program, Exact algorithms, Cutting planes
1	John E. Mitchell	Integer Programming: Branch and Cut Algorithms.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Integer program, Branch and bound, Exact algorithms, Cutting planes
1	Mauricio G. C. Resende, Celso C. Ribeiro	Graph Planarization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Heuristics, Graph, Planar graph, Exact algorithms, Planarization
1	Toshihiro Matsui, Marius-Calin Silaghi, Katsutoshi Hirayama, Makoto Yokoo, Hiroshi Matsuo	Directed soft arc consistency in pseudo trees.	AAMAS	2009	DBLP DOI BibTeX RDF	distributed constraint optimization problem, soft arc consistency, multi-agent systems, constraint reasoning
1	Shaoxu Song, Lei Chen 0002	Discovering matching dependencies.	CIKM	2009	DBLP DOI BibTeX RDF	matching depedencies
1	Chee-Keng Yap	Exact numerical computation in algebra and geometry.	ISSAC	2009	DBLP DOI BibTeX RDF	adaptive complexity analysis, exact numerical computation, explicitization problems, numerical algebraic computation, numerical computational geometry, zero bounds
1	Amrita Mathuriya, David A. Bader, Christine E. Heitsch, Stephen C. Harvey	GTfold: a scalable multicore code for RNA secondary structure prediction.	SAC	2009	DBLP DOI BibTeX RDF	ribosomal and viral RNA, parallel algorithms, computational biology
1	Kevin Buchin, Sergio Cabello, Joachim Gudmundsson, Maarten Löffler, Jun Luo, Günter Rote, Rodrigo I. Silveira, Bettina Speckmann, Thomas Wolle	Detecting Hotspots in Geographic Networks.	AGILE Conf.	2009	DBLP DOI BibTeX RDF
1	Arthur Choi, Trevor Standley, Adnan Darwiche	Approximating Weighted Max-SAT Problems by Compensating for Relaxations.	CP	2009	DBLP DOI BibTeX RDF
1	Karl Bringmann, Tobias Friedrich	Approximating the Least Hypervolume Contributor: NP-Hard in General, But Fast in Practice.	EMO	2009	DBLP DOI BibTeX RDF
1	Shai Gutner	Polynomial Kernels and Faster Algorithms for the Dominating Set Problem on Graphs with an Excluded Minor.	IWPEC	2009	DBLP DOI BibTeX RDF	H-minor-free graphs, degenerated graphs, dominating set problem, fixed-parameter tractable algorithms, problem kernel
1	Michael Elberfeld, Ilka Schnoor, Till Tantau	Influence of Tree Topology Restrictions on the Complexity of Haplotyping with Missing Data.	TAMC	2009	DBLP DOI BibTeX RDF
1	Crystal L. Kahn, Shay Mozes, Benjamin J. Raphael	Efficient Algorithms for Analyzing Segmental Duplications, Deletions, and Inversions in Genomes.	WABI	2009	DBLP DOI BibTeX RDF
1	Hannes Moser, Rolf Niedermeier, Manuel Sorge	Algorithms and Experiments for Clique Relaxations-Finding Maximum s-Plexes.	SEA	2009	DBLP DOI BibTeX RDF