cvb.acronym: QBF 2016
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-1719.zip
cvb.ceurpubdate: '2016-11-03'
cvb.city: Bordeaux
cvb.cityWikidataId: Q1479
cvb.colocated: SAT 2016
cvb.country: France
cvb.countryWikidataId: Q142
cvb.dateFrom: '2016-07-04'
cvb.dateTo: '2016-07-04'
cvb.desc: '?'
cvb.editors: Florian Lonsing, Martina Seidl
cvb.fromLine: 45801
cvb.h1: QBF 2016 Quantified Boolean Formulas
cvb.h3: Proceedings of the 4th International Workshop on Quantified Boolean Formulas
  (QBF 2016) co-located with 19th International Conference on Theory and Applications
  of Satisfiability Testing (SAT 2016)
cvb.homepage: http://fmv.jku.at/qbf16
cvb.loc_city: Bordeaux
cvb.loc_country: France
cvb.loc_days: '4'
cvb.loc_locs: null
cvb.loc_month: July
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Bordeaux, France, July 4, 2016
cvb.number: 1719
cvb.pubDate: '2016-11-03T00:00:00'
cvb.published: '2016-11-03'
cvb.seealso: ''
cvb.submittedBy: Martina Seidl
cvb.tdtitle: Proceedings of the 4th International Workshop on Quantified Boolean Formulas
  (QBF 2016), Bordeaux, France, July 4, 2016.
cvb.title: Proceedings of the 4th International Workshop on Quantified Boolean Formulas
cvb.toLine: 45824
cvb.url: http://ceur-ws.org/Vol-1719/
cvb.urn: urn:nbn:de:0074-1719-2
cvb.urn_check_digit: 2
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Quantified Boolean Formulas 2016
cvb.voltitle: Quantified Boolean Formulas
cvb.volume_number: Vol-1719
cvb.year: '2016'
spt.acronym: QBF 2016
spt.date: '2016-11-03'
spt.dblp: conf/sat/2016qbf
spt.description: Proceedings of QBF 2016 workshop
spt.html_url: /Vol-1719.html
spt.k10plus: '1031165169'
spt.number: 1719
spt.title: Proceedings of the 4th International Workshop on Quantified Boolean Formulas
spt.url: http://ceur-ws.org/Vol-1719/
spt.urn: urn:nbn:de:0074-1719-2
spt.wikidataid: Q113544192
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-1719-2
wd.Volume: null
wd.dblpEventId: conf/sat/qbf2016
wd.dblpProceedingsId: conf/sat/2016qbf
wd.described_at_URL: http://ceur-ws.org/Vol-1719/
wd.event: http://www.wikidata.org/entity/Q113637264
wd.eventLabel: 4th International Workshop on Quantified Boolean Formulas
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-1719/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113544192
wd.itemDescription: Proceedings of QBF 2016 workshop
wd.itemLabel: Proceedings of the 4th International Workshop on Quantified Boolean
  Formulas
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1031165169'
wd.publication_date: '2016-11-03T00:00:00'
wd.sVolume: 1719
wd.short_name: QBF 2016
wd.title: Proceedings of the 4th International Workshop on Quantified Boolean Formulas
