This graduate-level text considers the Soviet ellipsoid algorithm for linear p...This graduate-level text considers the Soviet ellipsoid algorithm for linear programming; efficient algorithms for network flow matching spanning trees and matroids; the theory of NP-complete problems; local search heuristics for NP-complete...more
This advanced text for undergraduate and graduate students introduces mathemat...This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer...more
The Workshop on Approximation Algorithms for CombinatorialOptimization Proble...The Workshop on Approximation Algorithms for Combinatorial Optimization ProblemsAPPROX 2000 focuses on algorithmic and complexity aspects ar- ing in the development of e?cient approximate solutions to computationally di?cult problems. It aims in...more
The Workshop on Approximation Algorithms for CombinatorialOptimization Proble...The Workshop on Approximation Algorithms for Combinatorial Optimization Problems APPROX 2002 focused on algorithmic and complexity aspects ar- ing in the development of e?cient approximate solutions to computationally d- ?cult problems. It aimed in...more
This book presents a formal model for evaluating the cost effectiveness of com...This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off...more
The volume contains selected contributions from the scientific programme of th...The volume contains selected contributions from the scientific programme of the 5th International Meeting of Young Computer Scientists (IMYCS 88) held at Smolenice Castle (Czechoslovakia) November 14-18 1988. It is divided into five chapters which...more
This book constitutes the refereed proceedings of the 24th International Confe...This book constitutes the refereed proceedings of the 24th International Conference on Integer Programming and Combinatorial Optimization IPCO 2023 held in Madison WI USA during June 21-23 2023. The 33 full papers presented were carefully reviewed...more
This book constitutes the refereed proceedings of the 7th Annual Symposium on ...This book constitutes the refereed proceedings of the 7th Annual Symposium on Combinatorial Pattern Matching CPM 96 held in Laguna Beach California USA in June 1996. The 26 revised full papers included were selected from a total of 48 submissions;...more
This book constitutes thoroughly refereed and revised selected papers from the...This book constitutes thoroughly refereed and revised selected papers from the 7th International Symposium on Combinatorial Optimization ISCO 2022 which was held online during May 18-20 2022. The 24 full papers included in this book were carefully...more
The papers contained in this volume were presented at the Tenth Annual S- posi...The papers contained in this volume were presented at the Tenth Annual S- posium on Combinatorial Pattern Matching held July 22 { 24 1999 at the University of Warwick England. They were selected from 26 abstracts subm- ted in response to the call...more
This book constitutes the joint refereed proceedings of the 4th International ...This book constitutes the joint refereed proceedings of the 4th International Workshop on Approximation Algorithms for Optimization Problems APPROX 2001 and of the 5th International Workshop on Ranomization and Approximation Techniques in Computer...more
Evolutionary Computation (EC) involves the study of problem solving and op- mi...Evolutionary Computation (EC) involves the study of problem solving and op- mization techniques inspired by principles of natural evolution and genetics. EC has been able to draw the attention of an increasing number of researchers and practitioners...more
The two-volume set LNCS 14461 and LNCS 14462 constitutes the refereed proceedi...The two-volume set LNCS 14461 and LNCS 14462 constitutes the refereed proceedings of the 17th International Conference on Combinatorial Optimization and Applications COCOA 2023 held in Hawaii HI USA during December 15-17 2023. The 73 full papers...more
This book constitutes the refereed proceedings of the 9th Annual Symposium on ...This book constitutes the refereed proceedings of the 9th Annual Symposium on Combinatorial Pattern Matching CPM 98 held in Piscataway NJ USA in July 1998. The 17 revised full papers presented were carefully reviewed and selected for inclusion in...more
This volume presents the proceedings of the 6th International Symposium on Com...This volume presents the proceedings of the 6th International Symposium on Combinatorial Pattern Matching CPM 95 held in Espoo Finland in July 1995. CPM addresses issues of searching and matching strings and more complicated patterns such as trees...more