@proceedings{DBLP:conf/synasc/2016sc,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               James H. Davenport and
               Pascal Fontaine},
  title     = {Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic
               Computation co-located with 18th International Symposium on Symbolic
               and Numeric Algorithms for Scientific Computing {(SYNASC} 2016), Timisoara,
               Romania, September 24, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1804},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1804},
  urn       = {urn:nbn:de:0074-1804-0},
  timestamp = {Mon, 17 Apr 2017 18:31:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2016sc},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"JBoagTSE8b4nrNgCh","bibbaseid":"brahm-davenport-fontaine-proceedingsofthe1stworkshoponsatisfiabilitycheckingandsymboliccomputationcolocatedwith18thinternationalsymposiumonsymbolicandnumericalgorithmsforscientificcomputingsynasc2016timisoararomaniaseptember242016-2017","downloads":0,"creationDate":"2018-03-30T17:48:42.264Z","title":"Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016","author_short":null,"year":2017,"bibtype":"proceedings","biburl":"http://dblp.org/pid/77/1965.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Erika"],"propositions":[],"lastnames":["Ábrahám"],"suffixes":[]},{"firstnames":["James","H."],"propositions":[],"lastnames":["Davenport"],"suffixes":[]},{"firstnames":["Pascal"],"propositions":[],"lastnames":["Fontaine"],"suffixes":[]}],"title":"Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016","series":"CEUR Workshop Proceedings","volume":"1804","publisher":"CEUR-WS.org","year":"2017","url":"http://ceur-ws.org/Vol-1804","urn":"urn:nbn:de:0074-1804-0","timestamp":"Mon, 17 Apr 2017 18:31:13 +0200","biburl":"https://dblp.org/rec/bib/conf/synasc/2016sc","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/synasc/2016sc,\n editor = {Erika {\\'{A}}brah{\\'{a}}m and\n James H. Davenport and\n Pascal Fontaine},\n title = {Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic\n Computation co-located with 18th International Symposium on Symbolic\n and Numeric Algorithms for Scientific Computing {(SYNASC} 2016), Timisoara,\n Romania, September 24, 2016},\n series = {{CEUR} Workshop Proceedings},\n volume = {1804},\n publisher = {CEUR-WS.org},\n year = {2017},\n url = {http://ceur-ws.org/Vol-1804},\n urn = {urn:nbn:de:0074-1804-0},\n timestamp = {Mon, 17 Apr 2017 18:31:13 +0200},\n biburl = {https://dblp.org/rec/bib/conf/synasc/2016sc},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Ábrahám, E.","Davenport, J. H.","Fontaine, P."],"key":"DBLP:conf/synasc/2016sc","id":"DBLP:conf/synasc/2016sc","bibbaseid":"brahm-davenport-fontaine-proceedingsofthe1stworkshoponsatisfiabilitycheckingandsymboliccomputationcolocatedwith18thinternationalsymposiumonsymbolicandnumericalgorithmsforscientificcomputingsynasc2016timisoararomaniaseptember242016-2017","role":"editor","urls":{"Paper":"http://ceur-ws.org/Vol-1804"},"downloads":0},"search_terms":["proceedings","1st","workshop","satisfiability","checking","symbolic","computation","located","18th","international","symposium","symbolic","numeric","algorithms","scientific","computing","synasc","2016","timisoara","romania","september","2016"],"keywords":[],"authorIDs":[],"dataSources":["MzeD53zNLooyvoPnq"]}