Matches in DBpedia 2015-10 for { <http://doi.org/10.1109/TC.2006.175> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- TC.2006.175 doi "10.1109/TC.2006.175".
- TC.2006.175 first1 "D.".
- TC.2006.175 first2 "J.".
- TC.2006.175 first3 "A. J.".
- TC.2006.175 isCitedBy Boolean_satisfiability_problem.
- TC.2006.175 issue "11".
- TC.2006.175 journal "IEEE Transactions on Computers".
- TC.2006.175 last1 "Babic".
- TC.2006.175 last2 "Bingham".
- TC.2006.175 last3 "Hu".
- TC.2006.175 pages "1315".
- TC.2006.175 title "B-Cubing: New Possibilities for Efficient SAT-Solving".
- TC.2006.175 url "http://www.domagoj-babic.com/uploads/Pubs/TCOM06/tcom06.pdf".
- TC.2006.175 volume "55".
- TC.2006.175 year "2006".