"Local Search with a SAT Oracle for Combinatorial Optimization"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Local Search in Combinatorial Optimization	Emile Aarts; Jan Karel Lenstra	2003	Princeton University Press
Local search in combinatorial optimization /	Aarts, E. H. L.; Lenstra, J. K.	[1997], ©1997.	Wiley,
Local search in combinatorial optimization /	Aarts, E. H. L.; Lenstra, J. K.	©1997.	Wiley,
Discrete Cuckoo Search for Combinatorial Optimization	Aziz Ouaarab	1st ed. 2020	Springer Nature Singapore
Combinatorial Optimization for Undergraduates	L. R. Foulds	1984	Springer New York
Metaheuristics for Combinatorial Optimization	Salvatore Greco; Mario F. Pavone; El-Ghazali Talbi; Daniele Vigo	1st ed. 2021	Springer International Publishing
Combinatorial Optimization	William J. Cook	1997	John Wiley & Sons
Combinatorial Optimization	Nicos Christophides, Aristide Mingozzi, Paolo Toth, Claudio Sandi (eds.)	1979	John Wiley & Sons Ltd
Combinatorial search	Martin Aigner	1988	John Wiley & Sons
Parallel Combinatorial Optimization	El-Ghazali Talbi	2006	John Wiley & Sons
Combinatorial Optimization I	Manfred W. Padberg	1980	Springer Berlin Heidelberg
Combinatorial Optimization II	Victor J. Rayward-Smith	1980	Springer Berlin Heidelberg
Nonlinear Combinatorial Optimization	Ding-Zhu Du; Panos M. Pardalos; Zhao Zhang	1st ed. 2019	Springer International Publishing
Integer Optimization by Local Search: A Domain-Independent Approach	Joachim P. Walser	1999	Springer Berlin Heidelberg
Online Stochastic Combinatorial Optimization	Russell Bent; Pascal Van Hentenryck	2006	MIT Press
Handbook of Combinatorial Optimization	Panos M. Pardalos; Ding-Zhu Du; Ronald L. Graham	2nd ed. 2013	Springer New York
Integer and Combinatorial Optimization	George Nemhauser	1988	John Wiley & Sons
Progress in Combinatorial Optimization	William R. Pulleyblank	1984	Academic Press
Combinatorial Optimization and Applications	A. Dress, et al.	2007	Springer
Combinatorial and Global Optimization	R.E. Burkard, Panos M. Pardalos, Athanasios Migdalas, Rainer E. Burkard	2002	World Scientific Pub Co (
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Local Search with a SAT Oracle for Combinatorial Optimization	Aviad Cohen; Alexander Nadel; Vadim Ryvchin	Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II	Jan Friso Groote; Kim Guldstrand Larsen	1st ed. 2021	Springer International Publishing
Local Search with a SAT Oracle for Combinatorial Optimization	Aviad Cohen; Alexander Nadel; Vadim Ryvchin	Computational Linguistics and Intelligent Text Processing: 18th International Conference, CICLing 2017, Budapest, Hungary, April 17–23, 2017, Revised Selected Papers, Part II	Alexander Gelbukh	1st ed. 2018	Springer International Publishing
Ant Local Search for Combinatorial Optimization	Nicolas Zufferey	Bio-Inspired Models of Network, Information, and Computing Systems: 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10--11, 2012, Revised Selected Papers	Gianni A. Di Caro; Guy Theraulaz	2014	Springer International Publishing
Local search in combinatorial optimization	Y. Crama; A. W. J. Kolen; E. J. Pesch	Artificial Neural Networks: An Introduction to ANN Theory and Practice	P.J. Braspenning; F. Thuijsman; A.J.M.M. Weijters	1995	Springer Berlin Heidelberg
A Framework for Local Search Heuristics for Combinatorial Optimization Problems	Alexandre A. Andreatta; Sérgio E. R. Carvalho; Celso C. Ribeiro	Optimization Software Class Libraries	Stefan Voß; David L. Woodruff	2002	Springer US
Multispace Search for Combinatorial Optimization	Jun Gu	Handbook of Combinatorial Optimization	Ding-Zhu Du; Panos M. Pardalos	1998	Springer US
Stochastic Local Search Algorithms for Multiobjective Combinatorial Optimization: A Review	Luís Paquete; Thomas Stützle	Handbook of Approximation Algorithms and Metaheuristics, Second Edition: Methodologies and Traditional Applications	Teofilo F. Gonzalez	2018	Routledge
Ch. 18. Local Search Heuristics for Combinatorial Optimization Problems	A. K. Mittal.	Uncertainty and optimality: probability, statistics and operations research /	Misra, J. C.	[2002], ©2002.	World Scientific,
Local Search and SAT	Fedor V. Fomin; Dieter Kratsch	Exact Exponential Algorithms	Fedor V. Fomin; Dieter Kratsch	2010	Springer Berlin Heidelberg
Systematic vs. Local Search for SAT	Holger H. Hoos; Thomas Stützle	KI-99: Advances in Artificial Intelligence: 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999 Proceedings	Wolfram Burgard; Thomas Christaller; Armin B. Cremers	1999	Springer Berlin Heidelberg
Clause Weighting Local Search for SAT	John Thornton	SAT 2005: Satisfiability Research in the Year 2005	Enrico Giunchiglia; Toby Walsh	2006	Springer Netherlands
Improving Parallel Local Search for SAT	Alejandro Arbelaez; Youssef Hamadi	Learning and Intelligent Optimization: 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011, Selected Papers	Carlos A. Coello-Coello	2011	Springer Berlin Heidelberg
Learning Tabu Search for Combinatorial Optimization	Nicolas Zufferey; David Schindl	Operations Research and Enterprise Systems: Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers	Eric Pinson; Fernando Valente; Begoña Vitoriano	2015	Springer International Publishing
Bayesian Optimization with Local Search	Yuzhou Gao; Tengchao Yu; Jinglai Li	Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020, Siena, Italy, July 19–23, 2020, Revised Selected Papers, Part II	Giuseppe Nicosia; Varun Ojha; Emanuele La Malfa; Giorgio Jansen; Vincenzo Sciacca; Panos Pardalos; Giovanni Giuffrida; Renato Umeton	1st ed. 2020	Springer International Publishing
Ant Local Search for Combinatorial Optimizati		Bio-Inspired Models of Network, Information, and Computing Systems: 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10--11, 2012, Revised Selected Papers	Gianni A. Di Caro, Guy Theraulaz (eds.)	2014	Springer International Publishing
Combining Local Search and Elicitation for Multi-Objective Combinatorial Optimization	Nawal Benabbou; Cassandre Leroy; Thibaut Lust; Patrice Perny	Algorithmic Decision Theory: 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings	Saša Pekeč; Kristen Brent Venable	1st ed. 2019	Springer International Publishing
A Study on Dominance-Based Local Search Approaches for Multiobjective Combinatorial Optimization	Arnaud Liefooghe; Salma Mesmoudi; Jérémie Humeau; Laetitia Jourdan; El-Ghazali Talbi	Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, Proceedings	Thomas Stützle; Mauro Birattari; Holger H. Hoos	2009	Springer Berlin Heidelberg
Chapter 29 Stochastic Local Search Algorithms for Multiobjective Combinatorial Optimization: A Review		Handbook of Approximation Algorithms and Metaheuristics	Teofilo F. Gonzalez	2007	Chapman & Hall/CRC
Another Complete Local Search Method for SAT	Haiou Shen; Hantao Zhang	Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings	Geoff Sutcliffe; Andrei Voronkov	2005	Springer Berlin Heidelberg
Improving Stochastic Local Search for SAT with a New Probability Distribution	Adrian Balint; Andreas Fröhlich	Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings	Ofer Strichman; Stefan Szeider	2010	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Local Search with a SAT Oracle for Combinatorial Optimization" - similar Books and Chapters