Matches in DBpedia 2016-04 for { <http://doi.org/10.1109/fmcad.2014.6987606> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- fmcad.2014.6987606 doi "10.1109/FMCAD.2014.6987606".
- fmcad.2014.6987606 first1 "Tim".
- fmcad.2014.6987606 first2 "Clark W.".
- fmcad.2014.6987606 first3 "Cesare".
- fmcad.2014.6987606 isCitedBy Presburger_arithmetic.
- fmcad.2014.6987606 journal "FMCAD".
- fmcad.2014.6987606 last1 "King".
- fmcad.2014.6987606 last2 "Barrett".
- fmcad.2014.6987606 last3 "Tinelli".
- fmcad.2014.6987606 pages "139–146".
- fmcad.2014.6987606 title "Leveraging linear and mixed integer programming for SMT".
- fmcad.2014.6987606 volume "2014".
- fmcad.2014.6987606 year "2014".