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
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://viaf.org/viaf/111688145> ; # 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#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://viaf.org/viaf/111688145> # H. P. Williams
    a schema:Person ;
   schema:familyName "Williams" ;
   schema:givenName "H. P." ;
   schema:name "H. P. Williams" ;
    .

<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.