CORE

🇺🇦   make metadata, not war

    4 research outputs found

    Preface to Special Issue on Satisfiability Modulo Theories

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    n/
    Open Access Repository

    Preface to Special Issue on Satisfiability Modulo Theories

    Author
      Publication venue
      'IOS Press'
      Publication date
      Field of study
      No full text
      Crossref

      Preface to special issue on satisfiability modulo theories

      Author
      Publication venue
      Publication date
      Field of study
      No full text
      Archivio della ricerca - Fondazione Bruno Kessler

      Preface to special issue on satisfiability modulo theories

      Author
      Publication venue
      'Springer Science and Business Media LLC'
      Publication date
      Field of study
      No full text
      Crossref
      corecore