Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

Theory and Applications of Satisfiability Testing

https://id.confref.org/data/confref-portal/event/sat2019

This record is part of the confref event Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings.

rdf:typeportal:Conference
schema:locationLisbon (wd:Q597)
rdfs:labelTheory and Applications of Satisfiability Testing
portal:acronymSAT
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityLisbon
portal:countryPortugal
portal:endDate2019-07-12
portal:keywordCdcl
portal:keywordCertificate
portal:keywordClause database reduction
portal:keywordClause deletion
portal:keywordDecision Diagrams
portal:keywordHerbrand functions
portal:keywordKnowledge compilation
portal:keywordMaxSAT
portal:keywordNeural networks
portal:keywordPhase transition
portal:keywordPolynomial Hierarchy
portal:keywordProof complexity
portal:keywordPropositional Model Counting
portal:keywordPropositional Proof Complexity
portal:keywordQBF
portal:keywordQRAT
portal:keywordResolution
portal:keywordSC
portal:keywordSatisfiability
portal:keywordpower law
portal:nameTheory and Applications of Satisfiability Testing
portal:portalPagehttp://portal.confref.org/list/sat2019
portal:serieshttps://id.confref.org/data/confref-portal/series/sat
portal:startDate2019-07-09
portal:submissionExtendedfalse
portal:year2019
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAshttps://dblp.org/db/conf/sat/sat2019

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.