View in EDS PDF Full Text

Preface to Special Issue on Satisfiability Modulo Theories.

Saved in:
Bibliographic Details
Title: Preface to Special Issue on Satisfiability Modulo Theories.
Authors: Cook, Byron, bycook@microsoft.com, Sebastiani, Roberto1, roberto.sebastiani@dit.unitn.it, Büning, Hans Kleine2, kbcsl@upb.de, Barrett, Clark3, barrett@cs.nyu.edu, Shikanian, Igor3, igor@cs.nyu.edu, Tinelli, Cesare4, tinelli@cs.uiowa.edu, Kim, Hyondeuk5, hyondeuk.kim@colorado.edu, Jin, Hoonsang5, hoonsang.jin@samsung.com, Somenzi, Fabio5, fabio@colorado.edu, Seshia, Sanjit A.6, sseshia@eecs.berkeley.edu, Subramani, K.7, ksmani@csee.wvu.edu, Bryant, Randal E.8, randy.bryant@cs.cmu.edu, Ganai, Malay K.9, malay@nec-labs.com, Talupur, Muralidhar10, tmurali@cs.cmu.edu, Gupta, Aarti9, agupta@nec-labs.com, Zhao, Xishun11
Source: Journal on Satisfiability, Boolean Modeling & Computation; 2007, Vol. 3, preceding p1-123, 137p, 10 Diagrams, 9 Charts, 13 Graphs
Database: Applied Science & Technology Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 31744854
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Preface to Special Issue on Satisfiability Modulo Theories.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Cook%2C+Byron%22">Cook, Byron</searchLink>, <i>bycook@microsoft.com</i><br /><searchLink fieldCode="AU" term="%22Sebastiani%2C+Roberto%22">Sebastiani, Roberto</searchLink><relatesTo>1</relatesTo>, <i>roberto.sebastiani@dit.unitn.it</i><br /><searchLink fieldCode="AU" term="%22Büning%2C+Hans+Kleine%22">Büning, Hans Kleine</searchLink><relatesTo>2</relatesTo>, <i>kbcsl@upb.de</i><br /><searchLink fieldCode="AU" term="%22Barrett%2C+Clark%22">Barrett, Clark</searchLink><relatesTo>3</relatesTo>, <i>barrett@cs.nyu.edu</i><br /><searchLink fieldCode="AU" term="%22Shikanian%2C+Igor%22">Shikanian, Igor</searchLink><relatesTo>3</relatesTo>, <i>igor@cs.nyu.edu</i><br /><searchLink fieldCode="AU" term="%22Tinelli%2C+Cesare%22">Tinelli, Cesare</searchLink><relatesTo>4</relatesTo>, <i>tinelli@cs.uiowa.edu</i><br /><searchLink fieldCode="AU" term="%22Kim%2C+Hyondeuk%22">Kim, Hyondeuk</searchLink><relatesTo>5</relatesTo>, <i>hyondeuk.kim@colorado.edu</i><br /><searchLink fieldCode="AU" term="%22Jin%2C+Hoonsang%22">Jin, Hoonsang</searchLink><relatesTo>5</relatesTo>, <i>hoonsang.jin@samsung.com</i><br /><searchLink fieldCode="AU" term="%22Somenzi%2C+Fabio%22">Somenzi, Fabio</searchLink><relatesTo>5</relatesTo>, <i>fabio@colorado.edu</i><br /><searchLink fieldCode="AU" term="%22Seshia%2C+Sanjit+A%2E%22">Seshia, Sanjit A.</searchLink><relatesTo>6</relatesTo>, <i>sseshia@eecs.berkeley.edu</i><br /><searchLink fieldCode="AU" term="%22Subramani%2C+K%2E%22">Subramani, K.</searchLink><relatesTo>7</relatesTo>, <i>ksmani@csee.wvu.edu</i><br /><searchLink fieldCode="AU" term="%22Bryant%2C+Randal+E%2E%22">Bryant, Randal E.</searchLink><relatesTo>8</relatesTo>, <i>randy.bryant@cs.cmu.edu</i><br /><searchLink fieldCode="AU" term="%22Ganai%2C+Malay+K%2E%22">Ganai, Malay K.</searchLink><relatesTo>9</relatesTo>, <i>malay@nec-labs.com</i><br /><searchLink fieldCode="AU" term="%22Talupur%2C+Muralidhar%22">Talupur, Muralidhar</searchLink><relatesTo>10</relatesTo>, <i>tmurali@cs.cmu.edu</i><br /><searchLink fieldCode="AU" term="%22Gupta%2C+Aarti%22">Gupta, Aarti</searchLink><relatesTo>9</relatesTo>, <i>agupta@nec-labs.com</i><br /><searchLink fieldCode="AU" term="%22Zhao%2C+Xishun%22">Zhao, Xishun</searchLink><relatesTo>11</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Journal+on+Satisfiability%2C+Boolean+Modeling+%26+Computation%22">Journal on Satisfiability, Boolean Modeling & Computation</searchLink>; 2007, Vol. 3, preceding p1-123, 137p, 10 Diagrams, 9 Charts, 13 Graphs
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=31744854
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 137
        StartPage: 1
    Titles:
      – TitleFull: Preface to Special Issue on Satisfiability Modulo Theories.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Cook, Byron
      – PersonEntity:
          Name:
            NameFull: Sebastiani, Roberto
      – PersonEntity:
          Name:
            NameFull: Büning, Hans Kleine
      – PersonEntity:
          Name:
            NameFull: Barrett, Clark
      – PersonEntity:
          Name:
            NameFull: Shikanian, Igor
      – PersonEntity:
          Name:
            NameFull: Tinelli, Cesare
      – PersonEntity:
          Name:
            NameFull: Kim, Hyondeuk
      – PersonEntity:
          Name:
            NameFull: Jin, Hoonsang
      – PersonEntity:
          Name:
            NameFull: Somenzi, Fabio
      – PersonEntity:
          Name:
            NameFull: Seshia, Sanjit A.
      – PersonEntity:
          Name:
            NameFull: Subramani, K.
      – PersonEntity:
          Name:
            NameFull: Bryant, Randal E.
      – PersonEntity:
          Name:
            NameFull: Ganai, Malay K.
      – PersonEntity:
          Name:
            NameFull: Talupur, Muralidhar
      – PersonEntity:
          Name:
            NameFull: Gupta, Aarti
      – PersonEntity:
          Name:
            NameFull: Zhao, Xishun
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 10
              Text: 2007
              Type: published
              Y: 2007
          Identifiers:
            – Type: issn-print
              Value: 18755011
          Numbering:
            – Type: volume
              Value: 3
          Titles:
            – TitleFull: Journal on Satisfiability, Boolean Modeling & Computation
              Type: main
ResultId 1