rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Handbook of satisfiability [
  name:
    name part: Biere, Armin
    role:
      role term: author
  type of resource: text
  origin info:
    place:
      place term: ne
    place:
      place term: Amsterdam, Netherland
    place:
      place term: Washington, DC
    publisher: IOS Press
    date issued: c2009
    date issued: 2009
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    form: electronic resource]
    extent: 1 online resource (xiii, 966 p.) : ill.
  abstract: A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
  note: edited by Armin Biere ... [et al.]
  note: Includes bibliographical references and indexes
  subject:
    topic: Algebra, Boolean
    genre: Congresses
  subject:
    topic: Computer algorithms
    topic: Congresses
  subject:
    topic: Decision making
    genre: Congresses
  subject:
    topic: Propositional calculus
    topic: Congresses
  identifier: 1441616780 (electronic bk.)
  identifier: 160750376X (ebook)
  identifier: 9781441616784 (electronic bk.)
  identifier: 9781607503767 (ebook)
  identifier: 1586039296
  identifier: 9781586039295
  identifier: http://site.ebrary.com/lib/librarytitles/docDetail.action
  identifier: http://www.netlibrary.com/urlapi.asp
  identifier: http://www.booksonline.iospress.nl/extern/enterbookseriesbook.aspx
  identifier: http://public.eblib.com/EBLPublic/PublicView.do
  record info:
    record creation date: 110323
    record change date: 20230131093000.0
    record identifier: 0000071591