skip to content
Logic and integer programming Preview this item
ClosePreview this item
Checking...

Logic and integer programming

Author: H P Williams
Publisher: Dordrecht ; New York : Springer, ©2009.
Series: International series in operations research & management science, 130.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Williams, H.P.
Logic and integer programming.
Dordrecht ; New York : Springer, ©2009
(OCoLC)288985494
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: H P Williams
ISBN: 9780387922805 0387922806
OCLC Number: 428453061
Description: 1 online resource (xi, 155 pages) : illustrations.
Contents: Preface; Contents; 1 An Introduction to Logic; The Purpose of Logic: Philosophical: Computational; Logical Inference and Consistency; The Propositional Calculus; The Predicate Calculus; Decidable Fragments of Mathematics; References and Further Work; Exercises; 2 Integer Programming; Linear Programming; Integer Programming; The Use of 0 --
1 Variables; Computational Complexity; References and Further Work; Exercises; 3 Modelling in Logic for Integer Programming; Logic Connectives and IP Constraints; Disjunctive Programming; Alternative Representations and Tightness of Constraints. Convexification of an IP ModelModelling Languages Based On Logic; References and Further Work; Exercises; 4 The Satisfiability Problem and Its Extensions; Resolution and Absorption; The Davis --
Putnam --
Loveland (DPL) Procedure; Representation as an Integer Programme; The Relationship Between Resolution and Cutting Planes; The Maximum Satisfiability Problem; Simplest Equivalent Logical Statement; Horn Clauses: Simple Satisfiability Problems.
Series Title: International series in operations research & management science, 130.
Responsibility: H. Paul Williams.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/428453061> # Logic and integer programming
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "428453061" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/170764309#Place/dordrecht> ; # Dordrecht
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/170764309#Topic/computers_programming_open_source> ; # COMPUTERS--Programming--Open Source
    schema:about <http://experiment.worldcat.org/entity/work/data/170764309#Topic/computers_software_development_&_engineering_tools> ; # COMPUTERS--Software Development & Engineering--Tools
    schema:about <http://id.worldcat.org/fast/975500> ; # Integer programming
    schema:about <http://dewey.info/class/005.115/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/170764309#Topic/lineare_optimierung> ; # Lineare Optimierung
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/170764309#Topic/computer_science_it> ; # Computer Science--IT
    schema:about <http://experiment.worldcat.org/entity/work/data/170764309#Topic/computers_software_development_&_engineering_general> ; # COMPUTERS--Software Development & Engineering--General
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2009" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/170764309#Person/williams_h_p> ; # H. P. Williams
    schema:datePublished "2009" ;
    schema:description "Preface; Contents; 1 An Introduction to Logic; The Purpose of Logic: Philosophical: Computational; Logical Inference and Consistency; The Propositional Calculus; The Predicate Calculus; Decidable Fragments of Mathematics; References and Further Work; Exercises; 2 Integer Programming; Linear Programming; Integer Programming; The Use of 0 -- 1 Variables; Computational Complexity; References and Further Work; Exercises; 3 Modelling in Logic for Integer Programming; Logic Connectives and IP Constraints; Disjunctive Programming; Alternative Representations and Tightness of Constraints."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/170764309> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/170764309#Series/int_series_in_operations_research_&_management_science> ; # Int. series in operations research & management science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/170764309#Series/international_series_in_operations_research_&_management_science> ; # International series in operations research & management science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/288985494> ;
    schema:name "Logic and integer programming"@en ;
    schema:productID "428453061" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/428453061#PublicationEvent/dordrecht_new_york_springer_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/170764309#Agent/springer> ; # Springer
    schema:url <http://www.myilibrary.com?id=212714&ref=toc> ;
    schema:url <http://www.myilibrary.com?id=212714> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=277057> ;
    schema:workExample <http://worldcat.org/isbn/9780387922805> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/428453061> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/170764309#Person/williams_h_p> # H. P. Williams
    a schema:Person ;
    schema:familyName "Williams" ;
    schema:givenName "H. P." ;
    schema:name "H. P. Williams" ;
    .

<http://experiment.worldcat.org/entity/work/data/170764309#Series/int_series_in_operations_research_&_management_science> # Int. series in operations research & management science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/428453061> ; # Logic and integer programming
    schema:name "Int. series in operations research & management science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/170764309#Series/international_series_in_operations_research_&_management_science> # International series in operations research & management science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/428453061> ; # Logic and integer programming
    schema:name "International series in operations research & management science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/170764309#Topic/computer_science_it> # Computer Science--IT
    a schema:Intangible ;
    schema:name "Computer Science--IT"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/170764309#Topic/computers_programming_open_source> # COMPUTERS--Programming--Open Source
    a schema:Intangible ;
    schema:name "COMPUTERS--Programming--Open Source"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/170764309#Topic/computers_software_development_&_engineering_general> # COMPUTERS--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Software Development & Engineering--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/170764309#Topic/computers_software_development_&_engineering_tools> # COMPUTERS--Software Development & Engineering--Tools
    a schema:Intangible ;
    schema:name "COMPUTERS--Software Development & Engineering--Tools"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/170764309#Topic/lineare_optimierung> # Lineare Optimierung
    a schema:Intangible ;
    schema:name "Lineare Optimierung"@en ;
    .

<http://id.worldcat.org/fast/1002056> # Logic programming
    a schema:Intangible ;
    schema:name "Logic programming"@en ;
    .

<http://id.worldcat.org/fast/975500> # Integer programming
    a schema:Intangible ;
    schema:name "Integer programming"@en ;
    .

<http://worldcat.org/isbn/9780387922805>
    a schema:ProductModel ;
    schema:isbn "0387922806" ;
    schema:isbn "9780387922805" ;
    .

<http://www.worldcat.org/oclc/288985494>
    a schema:CreativeWork ;
    rdfs:label "Logic and integer programming." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/428453061> ; # Logic and integer programming
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.