Matches in DBpedia 2016-04 for { <http://doi.org/10.1109/jproc.2015.2455034> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- jproc.2015.2455034 doi "10.1109/JPROC.2015.2455034".
- jproc.2015.2455034 first1 "Y.".
- jproc.2015.2455034 first2 "G.".
- jproc.2015.2455034 first3 "S.".
- jproc.2015.2455034 isCitedBy Boolean_satisfiability_problem.
- jproc.2015.2455034 isCitedBy Chaff_algorithm.
- jproc.2015.2455034 isCitedBy Craig_interpolation.
- jproc.2015.2455034 isCitedBy Model_checking.
- jproc.2015.2455034 issue "11".
- jproc.2015.2455034 journal "Proceedings of the IEEE".
- jproc.2015.2455034 last1 "Vizel".
- jproc.2015.2455034 last2 "Weissenbacher".
- jproc.2015.2455034 last3 "Malik".
- jproc.2015.2455034 title "Boolean Satisfiability Solvers and Their Applications in Model Checking".
- jproc.2015.2455034 volume "103".
- jproc.2015.2455034 year "2015".