Notice

This record is currently in review state, the data hasn’t been validated yet.

Show simple item record

dc.contributor.author
Balunovic, Mislav
dc.contributor.author
Bielik, Pavol
dc.contributor.author
Vechev, Martin
dc.contributor.editor
Bengio, Samy
dc.contributor.editor
Wallach, Hanna
dc.contributor.editor
Larochelle, Hugo
dc.contributor.editor
Grauman, Kristen
dc.contributor.editor
Cesa-Bianchi, Nicolò
dc.contributor.editor
Garnett, Roman
dc.date.accessioned
2019-04-12T06:12:11Z
dc.date.available
2019-04-12T06:12:11Z
dc.date.issued
2018
dc.identifier.uri
http://hdl.handle.net/20.500.11850/337692
dc.language.iso
en
en_US
dc.publisher
Curran
en_US
dc.title
Learning to Solve SMT Formulas
en_US
dc.type
Conference Paper
ethz.book.title
Advances in Neural Information Processing Systems 31
en_US
ethz.pages.start
10317
en_US
ethz.pages.end
10328
en_US
ethz.event
32nd Annual Conference on Neural Information Processing Systems (NeurIPS 2018)
en_US
ethz.event.location
Montreal, Canada
en_US
ethz.event.date
December 3-8, 2018
en_US
ethz.notes
Oral presentation.
en_US
ethz.identifier.wos
ethz.publication.place
Red Hook, NY
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
en_US
ethz.identifier.url
https://papers.nips.cc/paper/8233-learning-to-solve-smt-formulas
ethz.date.deposited
2019-01-24T19:32:26Z
ethz.source
FORM
ethz.source
WOS
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/319666
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/337117
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Learning%20to%20Solve%20SMT%20Formulas&rft.date=2018&rft.spage=10317&rft.epage=10328&rft.au=Balunovic,%20Mislav&Bielik,%20Pavol&Vechev,%20Martin&rft.genre=proceeding&rft.btitle=Advances%20in%20Neural%20Information%20Processing%20Systems%2031
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record