Search results for "Real World Instances"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Francisco Luna, Enrique Alba, Antonio J. Nebro, Salvador Pedraza	Evolutionary Algorithms for Real-World Instances of the Automatic Frequency Planning Problem in GSM Networks.	EvoCOP	2007	DBLP DOI BibTeX RDF
2	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella	QBF Reasoning on Real-World Instances.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
1	Francisco Luna, César Estébanez, Coromoto León, José M. Chaves-González, Antonio J. Nebro, Ricardo Aler, Carlos Segura, Miguel A. Vega-Rodríguez, Enrique Alba, José María Valls, Gara Miranda, Juan Antonio Gómez Pulido	Optimization algorithms for large-scale real-world instances of the frequency assignment problem.	Soft Comput.	2011	DBLP DOI BibTeX RDF
1	Claudio Fabiano Motta Toledo, Lucas de Oliveira, Renato Resende Ribeiro de Oliveira, Marluce Rodrigues Pereira	Parallel genetic algorithm approaches applied to solve a synchronized and integrated lot sizing and scheduling problem.	SAC	2010	DBLP DOI BibTeX RDF	multi-population, soft drink company, scheduling, parallel genetic algorithms, lot sizing
1	Denis Xavier Charles, Max Chickering, Nikhil R. Devanur, Kamal Jain, Manan Sanghi	Fast algorithms for finding matchings in lopsided bipartite graphs with applications to display ads.	ACM Conference on Electronic Commerce	2010	DBLP DOI BibTeX RDF	selling display advertisements, linear programming, online algorithms, bipartite matching
1	José M. Chaves-González, Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Juan Manuel Sánchez-Pérez	Solving a Real-World FAP Using the Scatter Search Metaheuristic.	EUROCAST	2009	DBLP DOI BibTeX RDF	SS, real-world GSM network, Frequency Planning, FAP
1	Marisa da Silva Maximiano, Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Juan Manuel Sánchez-Pérez	Parameter Analysis for Differential Evolution with Pareto Tournaments in a Multiobjective Frequency Assignment Problem.	IDEAL	2009	DBLP DOI BibTeX RDF
1	Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Yuri Pirola, Romeo Rizzi	Pure Parsimony Xor Haplotyping.	ISBRA	2009	DBLP DOI BibTeX RDF
1	Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell	Cardinality Networks and Their Applications.	SAT	2009	DBLP DOI BibTeX RDF
1	Lasse Kliemann, Anand Srivastav	Experimental Study of Non-oblivious Greedy and Randomized Rounding Algorithms for Hypergraph b-Matching.	SEA	2009	DBLP DOI BibTeX RDF	hypergraph matching, approximation algorithms, greedy algorithms, hybrid algorithms, NP-hard problems, randomized rounding
1	Valentina Cacchiani	Models and algorithms for combinatorial optimization problems arising in railway applications.	4OR	2009	DBLP DOI BibTeX RDF	MSC classification (2000) 90B06, 90C57, 90C90, 90C10, 90C59
1	Michael Schilde, Karl F. Doerner, Richard F. Hartl, Guenter Kiechle	Metaheuristics for the bi-objective orienteering problem.	Swarm Intelligence	2009	DBLP DOI BibTeX RDF	Ant colony optimization, Multiobjective optimization, Variable neighborhood search, Orienteering problem
1	Álvaro García-Sánchez, Luis Miguel Arreche Bedia, Miguel Ortega-Mier	Combining Simulation and Tabu Search for Oil-derivatives Pipeline Scheduling.	Metaheuristics for Scheduling in Industrial and Manufacturing Applications	2008	DBLP DOI BibTeX RDF	Multi-commodity Pipeline, Real World Instances, Simulation, Scheduling, Tabu Search
1	María Pilar Tormos, Antonio Luis Lova, Federico Barber, Laura Paola Ingolotti, Montserrat Abril, Miguel A. Salido	A Genetic Algorithm for Railway Scheduling Problems.	Metaheuristics for Scheduling in Industrial and Manufacturing Applications	2008	DBLP DOI BibTeX RDF	Train Timetabling Problem, Parameterized Regret-Based Biased Random Sampling, Real World Instances, Genetic Algorithms, Scheduling
1	Arnaldo Vieira Moura, Cid C. de Souza, André A. Ciré, Tony Minoru Tamura Lopes	Heuristics and Constraint Programming Hybridizations for a Real Pipeline Planning and Scheduling Problem.	CSE	2008	DBLP DOI BibTeX RDF	scheduling, decision support, constraint satisfaction, combinatorial algorithms, heuristic methods
1	Tarik Hadzic, Esben Rune Hansen, Barry O'Sullivan	Layer Compression in Decision Diagrams.	ICTAI	2008	DBLP DOI BibTeX RDF
1	José M. Chaves-González, Marisa da Silva Maximiano, Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Juan Manuel Sánchez-Pérez	Comparing Hybrid Versions of SS and DE to Solve a Realistic FAP Problem.	HAIS	2008	DBLP DOI BibTeX RDF	SS, real-world GSM network, Frequency Planning, DE, FAP
1	Benoît Laurent, Jin-Kao Hao	Simultaneous Vehicle and Crew Scheduling for Extra Urban Transports.	IEA/AIE	2008	DBLP DOI BibTeX RDF
1	Hanbo Dai, Ee-Peng Lim, Hady Wirawan Lauw, HweeHwa Pang	Visual Analytics for Supporting Entity Relationship Discovery on Text Data.	ISI Workshops	2008	DBLP DOI BibTeX RDF
1	Stephan Kottler, Michael Kaufmann, Carsten Sinz	Computation of Renameable Horn Backdoors.	SAT	2008	DBLP DOI BibTeX RDF
1	Valentina Cacchiani, Alberto Caprara, Paolo Toth	A column generation approach to train timetabling on a corridor.	4OR	2008	DBLP DOI BibTeX RDF	90C57, 90C10, MSC Classification 90B06
1	Felix G. König, Marco E. Lübbecke, Rolf H. Möhring, Guido Schäfer, Ines Spenke	Solutions to Real-World Instances of PSPACE-Complete Stacking.	ESA	2007	DBLP DOI BibTeX RDF
1	Enda Ridge, Daniel Kudenko	Analyzing heuristic performance with response surface models: prediction, optimization and robustness.	GECCO	2007	DBLP DOI BibTeX RDF	minimum run resolution V design, overlay plots, response surface model, ant colony optimization, design of experiments
1	Claudio Fabiano Motta Toledo, Paulo Morelato França, Reinaldo Morabito, Alf Kimms	Evolutionary Approaches to Solve an Integrated Lot Scheduling Problem in the Soft Drink Industry.	HIS	2007	DBLP DOI BibTeX RDF
1	Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais	Eliminating Redundant Clauses in SAT Instances.	CPAIOR	2007	DBLP DOI BibTeX RDF
1	David Manlove, Gregg O'Malley, Patrick Prosser, Chris Unsworth	A Constraint Programming Approach to the Hospitals / Residents Problem.	CPAIOR	2007	DBLP DOI BibTeX RDF
1	Rafael Pastor, Laia Ferrer, Alberto García	Evaluating Optimization Models to Solve SALBP.	ICCSA	2007	DBLP DOI BibTeX RDF	assembly line balancing
1	Laura Cruz Reyes, Juan Javier González Barbosa, David Romero Vargas, Héctor Joaquin Fraire Huacuja, Nelson Rangel-Valdez, Juan Arturo Herrera Ortiz, Bárbara Abigail Arrañaga Cruz, José Francisco Delgado Orta	A Distributed Metaheuristic for Solving a Real-World Scheduling-Routing-Loading Problem.	ISPA	2007	DBLP DOI BibTeX RDF
1	Laura Cruz Reyes, Diana Maritza Nieto-Yáñez, Nelson Rangel-Valdez, Juan Arturo Herrera Ortiz, Juan Javier González Barbosa, Guadalupe Castilla Valdez, José Francisco Delgado Orta	DiPro: An Algorithm for the Packing in Product Transportation Problems with Multiple Loading and Routing Variants.	MICAI	2007	DBLP DOI BibTeX RDF
1	Friedrich Eisenbrand, Andreas Karrenbauer, Chihao Xu	Algorithms for Longer OLED Lifetime.	WEA	2007	DBLP DOI BibTeX RDF
1	Falk Hüffner, Nadja Betzler, Rolf Niedermeier	Optimal Edge Deletions for Signed Graph Balancing.	WEA	2007	DBLP DOI BibTeX RDF
1	Alberto Borghetti, Andrea Lodi, Silvano Martello, Michele Martignani, Carlo Alberto Nucci, Alessandro Trebbi	An optimization problem in the electricity market.	4OR	2007	DBLP DOI BibTeX RDF	MSC classification 90C90, 91B74, 90C05, 90B30
1	Xiao-Feng Xie, Jiming Liu	How autonomy oriented computing (AOC) tackles a computationally hard optimization problem.	AAMAS	2006	DBLP DOI BibTeX RDF	autonomy oriented computing (AOC), search, multiagent system, global optimization, traveling salesman problem (TSP), emergent, cooperative problem solving, collective behavior
1	Jinbo Xu, Bonnie Berger	Fast and accurate algorithms for protein side-chain packing.	J. ACM	2006	DBLP DOI BibTeX RDF	Protein side-chain packing, approximate algorithm, polynomial-time approximation scheme, tree decomposition
1	Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker	Sigref- A Symbolic Bisimulation Tool Box.	ATVA	2006	DBLP DOI BibTeX RDF
1	Lars Otten, Mattias Grönkvist, Devdatt P. Dubhashi	Randomization in Constraint Programming for Airline Planning.	CP	2006	DBLP DOI BibTeX RDF
1	Cristiana Bragalli, Claudia D'Ambrosio, Jon Lee, Andrea Lodi, Paolo Toth	An MINLP Solution Method for a Water Network Problem.	ESA	2006	DBLP DOI BibTeX RDF
1	Juan José Salazar González	Controlled rounding and cell perturbation: statistical disclosure limitation methods for tabular data.	Math. Program.	2006	DBLP DOI BibTeX RDF	Controlled rounding, Integer linear Programming, Statistical disclosure Control
1	Kelly Poldi, Marcos N. Arenales, Andrea Vianna	Two-Dimensional Cutting Stock Problem Under Low Demand: a Study Case.	OR	2005	DBLP DOI BibTeX RDF
1	Reza Tavakkoli-Moghaddam, Nima Safaei, Masoud Babakhani	Solving a Dynamic Cell Formation Problem with Machine Cost and Alternative Process Plan by Memetic Algorithms.	SAGA	2005	DBLP DOI BibTeX RDF	Dynamic cell formation, Alternative process plan, Machine relocation, Memetic Algorithm
1	Christian Liebchen	A Cut-Based Heuristic to Produce Almost Feasible Periodic Railway Timetables.	WEA	2005	DBLP DOI BibTeX RDF
1	Anita Schöbel	Locating Stops Along Bus or Railway Lines - A Bicriteria Problem.	Annals OR	2005	DBLP DOI BibTeX RDF	bicriterial, dynamic programming, location, set covering, public transportation
1	Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea	The SAT-based Approach to Separation Logic.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	SAT-based decision procedures, separation logic
1	Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva	Heuristic-Based Backtracking Relaxation for Propositional Satisfiability.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF
1	Pasquale Avella, Igor Vasil'ev	A Computational Study of a Cutting Plane Algorithm for University Course Timetabling.	J. Scheduling	2005	DBLP DOI BibTeX RDF
1	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella	QBF Reasoning on Real-World Instances.	SAT	2004	DBLP BibTeX RDF
1	Wei Li 0002, Peter van Beek	Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition.	ICTAI	2004	DBLP DOI BibTeX RDF
1	Mattias Grönkvist	A Constraint Programming Model for Tail Assignment.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Wei Li 0002	A Hypergraph Separator Based Variable Ordering Heuristic for Solving Real World SAT.	CP	2004	DBLP DOI BibTeX RDF
1	Steffen Mecke, Dorothea Wagner	Solving Geometric Covering Problems by Data Reduction.	ESA	2004	DBLP DOI BibTeX RDF
1	Jakob Puchinger, Günther R. Raidl, Gabriele Koller	Solving a Real-World Glass Cutting Problem.	EvoCOP	2004	DBLP DOI BibTeX RDF
1	Armin Fügenschuh, Alexander Martin, Peter Stöveken	Integrated Optimization of School Starting Times and Public Bus Services.	OR	2004	DBLP DOI BibTeX RDF
1	Glauber Cintra, Yoshiko Wakabayashi	Dynamic Programming and Column Generation Based Approaches for Two-Dimensional Guillotine Cutting Problems.	WEA	2004	DBLP DOI BibTeX RDF
1	Haroldo G. Santos, Luiz Satoru Ochi, Marcone J. F. Souza	An Efficient Tabu Search Heuristic for the School Timetabling Problem.	WEA	2004	DBLP DOI BibTeX RDF
1	Mohamed El-bachir Menai, Mohamed Batouche	A Bose-Einstein Extremal Optimization Method for Solving Real-World Instances of Maximum Satisfiablility.	IC-AI	2003	DBLP BibTeX RDF
1	Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva	Heuristic-Based Backtracking for Propositional Satisfiability.	EPIA	2003	DBLP DOI BibTeX RDF
1	Tommaso Schiavinotto, Thomas Stützle	Search Space Analysis of the Linear Ordering Problem.	EvoWorkshops	2003	DBLP DOI BibTeX RDF
1	Daniel Le Berre, Laurent Simon, Armando Tacchella	Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.	SAT	2003	DBLP DOI BibTeX RDF
1	Luís Guerra e Silva, João P. Marques Silva, Luis Miguel Silveira, Karem A. Sakallah	Satisfiability models and algorithms for circuit delay computation.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	circuit delay computation, timing analysis, Boolean satisfiability, delay modeling, false path
1	Vasco M. Manquinho, João P. Marques Silva	Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem.	IEEE Trans. on CAD of Integrated Circuits and Systems	2002	DBLP DOI BibTeX RDF
1	Sven Oliver Krumke, Jörg Rambau, Luis Torres	Real-Time Dispatching of Guided and Unguided Automobile Service Units with Soft Time Windows.	ESA	2002	DBLP DOI BibTeX RDF
1	Matteo Fischetti, Andrea Lodi, Paolo Toth	Solving Real-World ATSP Instances by Branch-and-Cut.	Combinatorial Optimization	2001	DBLP DOI BibTeX RDF
1	Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin	Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability.	IJCAR	2001	DBLP DOI BibTeX RDF
1	Inês Lynce, Luís Baptista, João P. Marques Silva	Towards Provably Complete Stochastic Search Algorithms for Satisfiability.	EPIA	2001	DBLP DOI BibTeX RDF
1	Luís Baptista, João P. Marques Silva	Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability.	CP	2000	DBLP DOI BibTeX RDF
1	Vasco M. Manquinho, João P. Marques Silva	On Using Satisfiability-Based Pruning Techniques in Covering Algorithms.	DATE	2000	DBLP DOI BibTeX RDF
1	Georg Kliewer, Stefan Tschöke	A General Parallel Simulated Annealing Library and its Application in Airline Industry. (PDF / PS)	IPDPS	2000	DBLP DOI BibTeX RDF
1	Owen L. Astrachan	On finding a stable roommate, job, or spouse: a case study crossing the boundaries of computer science courses.	SIGCSE	1992	DBLP DOI BibTeX RDF