Disjunctive Programming

Author : Egon Balas
Publisher : Springer
Page : 238 pages
File Size : 44,8 Mb
Release : 2018-11-27
Category : Mathematics
ISBN : 9783030001483

Get Book

Disjunctive Programming by Egon Balas Pdf

Disjunctive Programming is a technique and a discipline initiated by the author in the early 1970's, which has become a central tool for solving nonconvex optimization problems like pure or mixed integer programs, through convexification (cutting plane) procedures combined with enumeration. It has played a major role in the revolution in the state of the art of Integer Programming that took place roughly during the period 1990-2010. The main benefit that the reader may acquire from reading this book is a deeper understanding of the theoretical underpinnings and of the applications potential of disjunctive programming, which range from more efficient problem formulation to enhanced modeling capability and improved solution methods for integer and combinatorial optimization. Egon Balas is University Professor and Lord Professor of Operations Research at Carnegie Mellon University's Tepper School of Business.

Author : Jorge Lobo,Jack Minker,Arcot Rajasekar
Publisher : MIT Press
Page : 344 pages
File Size : 47,9 Mb
Release : 1992
Category : Logic programming
ISBN : 0262121654

Get Book

Foundations of Disjunctive Logic Programming by Jorge Lobo,Jack Minker,Arcot Rajasekar Pdf

Author : Bart Demoen,Vladimir Lifschitz
Publisher : Springer Science & Business Media
Page : 492 pages
File Size : 49,8 Mb
Release : 2004-08-24
Category : Computers
ISBN : 9783540226710

Get Book

Logic Programming by Bart Demoen,Vladimir Lifschitz Pdf

This book constitutes the refereed proceedings of the 20th International Conference on Logic Programming, ICLP 2004, held in Saint-Malo, France in September 2004. The 28 revised full papers and 16 poster papers presented together with 2 invited papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on program analysis, constraints, alternative programming paradigms, answer set programming, and implementation.

Author : H.D. Sherali,C.M. Shetty
Publisher : Springer Science & Business Media
Page : 168 pages
File Size : 40,7 Mb
Release : 2012-12-06
Category : Business & Economics
ISBN : 9783642487941

Get Book

Optimization with Disjunctive Constraints by H.D. Sherali,C.M. Shetty Pdf

The disjunctive cut principle of Balas and Jeroslow, and the related polyhedral annexation principle of Glover, provide new insights into cutting plane theory. This has resulted in its ability to not only subsume many known valid cuts but also improve upon them. Originally a set of notes were written for the purpose of putting together in a common terminology and framework significant results of Glover and others using a geometric approach, referred to in the literature as convexity cuts, and the algebraic approach of Balas and Jeroslow known as Disjunctive cuts. As it turned out subsequently the polyhedral annexation approach of Glover is also closely connected with the basic disjunctive principle of Balas and Jeroslow. In this monograph we have included these results and have also added several published results which seem to be of strong interest to researchers in the area of developing strong cuts for disjunctive programs. In particular, several results due to Balas [4,5,6,7], Glover [18,19] and Jeroslow [23,25,26] have been used in this monograph. The appropriate theorems are given without proof. The notes also include several results yet to be published [32,34,35] obtained under a research contract with the National Science Foundation to investigate solution methods for disjunctive programs. The monograph is self-contained and complete in the sense that it attempts to pool together existing results which the authors viewed as important to future research on optimization using the disjunctive cut approach.

Author : Luis Moniz Pereira
Publisher : Springer Science & Business Media
Page : 266 pages
File Size : 42,8 Mb
Release : 1998-08-26
Category : Computers
ISBN : 3540649581

Get Book

Logic Programming and Knowledge Representation by Luis Moniz Pereira Pdf

This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997. The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates.

Author : David L. Woodruff
Publisher : Springer Science & Business Media
Page : 326 pages
File Size : 51,8 Mb
Release : 1997-12-31
Category : Business & Economics
ISBN : 0792380789

Get Book

Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search by David L. Woodruff Pdf

Computer Science and Operations Research continue to have a synergistic relationship and this book - as a part of the Operations Research and Computer Science Interface Series - sits squarely in the center of the confluence of these two technical research communities. The research presented in the volume is evidence of the expanding frontiers of these two intersecting disciplines and provides researchers and practitioners with new work in the areas of logic programming, stochastic optimization, heuristic search and post-solution analysis for integer programs. The chapter topics span the spectrum of application level. Some of the chapters are highly applied and others represent work in which the application potential is only beginning. In addition, each chapter contains expository material and reviews of the literature designed to enhance the participation of the reader in this expanding interface.

Author : Matthias Baaz,Andrei Voronkov
Publisher : Springer
Page : 470 pages
File Size : 52,8 Mb
Release : 2003-06-30
Category : Computers
ISBN : 9783540360780

Get Book

Logic for Programming, Artificial Intelligence, and Reasoning by Matthias Baaz,Andrei Voronkov Pdf

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

Author : Laurent Fribourg,Franco Turini
Publisher : Springer Science & Business Media
Page : 468 pages
File Size : 54,8 Mb
Release : 1994-11-30
Category : Computers
ISBN : 3540587926

Get Book

Logic Program Synthesis and Transformation - Meta-Programming in Logic by Laurent Fribourg,Franco Turini Pdf

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

Author : Lua-S Moniz Pereira
Publisher : MIT Press
Page : 518 pages
File Size : 52,6 Mb
Release : 1993
Category : Logic programming
ISBN : 0262660830

Get Book

Logic Programming and Non-Monotonic Reasoning by Lua-S Moniz Pereira Pdf

This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.Luis' Moniz Pereira is Professor in the Department of Computer Science at the Universidade Nova Lisboa, Portugal. Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.Topics include: Stable Semantics. Autoepistemic Logic. Abduction. Implementation Issues. Well-founded Semantics. Truth Maintenance. Probabilistic Theories. Applications. Default Logic. Diagnosis. Complexity and Theory. Handling Inconsistency.

Author : Michael Gelfond,Nicole Leone,Gerald Pfeifer
Publisher : Springer
Page : 396 pages
File Size : 55,8 Mb
Release : 2003-06-26
Category : Computers
ISBN : 9783540467670

Get Book

Logic Programming and Nonmonotonic Reasoning by Michael Gelfond,Nicole Leone,Gerald Pfeifer Pdf

This book constitutes the refereed proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '99, held in El Paso, Texas, USA, in December 1999. The volume presents 26 contributed papers and four invited talks, three appearing as extended abstracts and one as a full paper. Topics covered include logic programming, non-monotonic reasoning, knowledge representation, semantics, complexity, expressive power, and implementation and applicatons.

Author : Miguel Ángel Goberna,Marco A. López
Publisher : Springer Science & Business Media
Page : 392 pages
File Size : 47,8 Mb
Release : 2013-11-11
Category : Computers
ISBN : 9781475734034

Get Book

Semi-Infinite Programming by Miguel Ángel Goberna,Marco A. López Pdf

Semi-infinite programming (SIP) deals with optimization problems in which either the number of decision variables or the number of constraints is finite. This book presents the state of the art in SIP in a suggestive way, bringing the powerful SIP tools close to the potential users in different scientific and technological fields. The volume is divided into four parts. Part I reviews the first decade of SIP (1962-1972). Part II analyses convex and generalised SIP, conic linear programming, and disjunctive programming. New numerical methods for linear, convex, and continuously differentiable SIP problems are proposed in Part III. Finally, Part IV provides an overview of the applications of SIP to probability, statistics, experimental design, robotics, optimization under uncertainty, production games, and separation problems. Audience: This book is an indispensable reference and source for advanced students and researchers in applied mathematics and engineering.

Author : Danny De Schreye
Publisher : MIT Press
Page : 654 pages
File Size : 42,9 Mb
Release : 1999-11-08
Category : Computers
ISBN : 0262541041

Get Book

Logic Programming by Danny De Schreye Pdf

Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet. The International Conference on Logic Programming, sponsored by the Association for Logic Programming, includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.

Author : Thomas Eiter,Wolfgang Faber,Miroslaw Trusczynksi
Publisher : Springer
Page : 454 pages
File Size : 48,5 Mb
Release : 2003-08-06
Category : Computers
ISBN : 9783540454021

Get Book

Logic Programming and Nonmonotonic Reasoning by Thomas Eiter,Wolfgang Faber,Miroslaw Trusczynksi Pdf

This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised full papers and eleven system descriptions presented with five invited papers were carefully reviewed and rigorously selected. Among the topics addressed are computational logic, declarative information extraction, model checking, inductive logic programming, default theories, stable logic programming, program semantics, incomplete information processing, concept learning, declarative specification, Prolog programming, many-valued logics, etc.

Author : Peter J. Stuckey
Publisher : Springer Science & Business Media
Page : 499 pages
File Size : 41,9 Mb
Release : 2002-07-17
Category : Computers
ISBN : 9783540439301

Get Book

Logic Programming by Peter J. Stuckey Pdf

The global environment is changing rapidly under the impact of human activities. An important element in this change is related to global climate modification. Experts from the natural and social sciences with a strong interest in history discussed common topics of great interest to society. Can the study of climate and history help in devising strategies for coping with this change? What might be the type of information most useful in this context? What are the pitfalls awaiting the unwary? These and similar questions were discussed during a four-day workshop. The resulting proceedings contain comprehensive papers of broad interest, thematic back-ground papers and reports of study groups. Apart from scientists, the papers should interest graduate students and lecturers.

Author : Andrea Lodi,Alessandro Panconesi,Giovanni Rinaldi
Publisher : Springer
Page : 477 pages
File Size : 54,5 Mb
Release : 2008-05-24
Category : Computers
ISBN : 9783540688914

Get Book

Integer Programming and Combinatorial Optimization by Andrea Lodi,Alessandro Panconesi,Giovanni Rinaldi Pdf

The volume contains the papers selected for presentation at IPCO 2008, the 13th International Conference on Integer Programming and Combinatorial - timization that was held in Bertinoro (Italy), May 26–28, 2008. The IPCO series of conferences, sponsored by the Mathematical Progr- ming Society, highlights recent developments in theory, computation, and app- cation of integer programming and combinatorial optimization. The ?rst conf- ence took place in 1990; starting from IPCO 1995, the proceedings are published in the Lecture Notes in Computer Science series. The 12 previous IPCO conferences were held in Waterloo (Canada) 1990, Pittsburgh (USA) 1992, Erice (Italy) 1993, Copenhagen (Denmark) 1995 [LNCS 920], Vancouver (Canada) 1996 [LNCS 1084], Houston (USA) 1998 [LNCS 1412], Graz (Austria) 1999 [LNCS 1610], Utrecht (The Netherlands) 2001 [LNCS 2081], Boston (USA) 2002 [LNCS 2337], New York (USA) 2004 [LNCS 2986], Berlin (Germany) 2005 [LNCS 3509], and Ithaca (USA) 2007 [LNCS 4168]. The c- ference is not held in the years when the International Symposium of the Ma- ematical Programming Society takes place.