Author: Institute for Computer Applications in Science and Engineering
Publisher:
ISBN:
Category :
Languages : en
Pages : 30
Book Description
Expected Performance of M-solution Backtracking
Author: Institute for Computer Applications in Science and Engineering
Publisher:
ISBN:
Category :
Languages : en
Pages : 30
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 30
Book Description
Scientific and Technical Aerospace Reports
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 488
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 488
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Scientific and Technical Information Output of the Langley Research Center for Calendar Year 1986
Author: Langley Research Center. Research Information and Applications Division
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 270
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 270
Book Description
SIAM Journal on Computing
Author: Society for Industrial and Applied Mathematics
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 668
Book Description
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 668
Book Description
Research Conducted at the Institute for Computer Applications in Science and Engineering in Applied Mathematics, Numerical Analysis and Computer Science
Analysis of Backtracking Routing in Binary Hypercube Computers
Author: Dirk C. Grunwald
Publisher:
ISBN:
Category : Computer networks
Languages : en
Pages : 56
Book Description
Publisher:
ISBN:
Category : Computer networks
Languages : en
Pages : 56
Book Description
Logic-Based Methods for Optimization
Author: John Hooker
Publisher: Wiley-Interscience
ISBN:
Category : Mathematics
Languages : en
Pages : 528
Book Description
A pioneering look at the fundamental role of logic in optimization and constraint satisfaction While recent efforts to combine optimization and constraint satisfaction have received considerable attention, little has been said about using logic in optimization as the key to unifying the two fields. Logic-Based Methods for Optimization develops for the first time a comprehensive conceptual framework for integrating optimization and constraint satisfaction, then goes a step further and shows how extending logical inference to optimization allows for more powerful as well as flexible modeling and solution techniques. Designed to be easily accessible to industry professionals and academics in both operations research and artificial intelligence, the book provides a wealth of examples as well as elegant techniques and modeling frameworks ready for implementation. Timely, original, and thought-provoking, Logic-Based Methods for Optimization: * Demonstrates the advantages of combining the techniques in problem solving * Offers tutorials in constraint satisfaction/constraint programming and logical inference * Clearly explains such concepts as relaxation, cutting planes, nonserial dynamic programming, and Bender's decomposition * Reviews the necessary technologies for software developers seeking to combine the two techniques * Features extensive references to important computational studies * And much more
Publisher: Wiley-Interscience
ISBN:
Category : Mathematics
Languages : en
Pages : 528
Book Description
A pioneering look at the fundamental role of logic in optimization and constraint satisfaction While recent efforts to combine optimization and constraint satisfaction have received considerable attention, little has been said about using logic in optimization as the key to unifying the two fields. Logic-Based Methods for Optimization develops for the first time a comprehensive conceptual framework for integrating optimization and constraint satisfaction, then goes a step further and shows how extending logical inference to optimization allows for more powerful as well as flexible modeling and solution techniques. Designed to be easily accessible to industry professionals and academics in both operations research and artificial intelligence, the book provides a wealth of examples as well as elegant techniques and modeling frameworks ready for implementation. Timely, original, and thought-provoking, Logic-Based Methods for Optimization: * Demonstrates the advantages of combining the techniques in problem solving * Offers tutorials in constraint satisfaction/constraint programming and logical inference * Clearly explains such concepts as relaxation, cutting planes, nonserial dynamic programming, and Bender's decomposition * Reviews the necessary technologies for software developers seeking to combine the two techniques * Features extensive references to important computational studies * And much more
Monthly Catalog of United States Government Publications
Author:
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 936
Book Description
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 936
Book Description
Government Reports Annual Index
Author:
Publisher:
ISBN:
Category : Research
Languages : en
Pages : 890
Book Description
Sections 1-2. Keyword Index.--Section 3. Personal author index.--Section 4. Corporate author index.-- Section 5. Contract/grant number index, NTIS order/report number index 1-E.--Section 6. NTIS order/report number index F-Z.
Publisher:
ISBN:
Category : Research
Languages : en
Pages : 890
Book Description
Sections 1-2. Keyword Index.--Section 3. Personal author index.--Section 4. Corporate author index.-- Section 5. Contract/grant number index, NTIS order/report number index 1-E.--Section 6. NTIS order/report number index F-Z.