Matches in DBpedia 2015-10 for { <http://doi.org/10.1109/DATE.1999.761110> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- DATE.1999.761110 chapter "Combinational equivalence checking using satisfiability and recursive learning".
- DATE.1999.761110 chapterUrl "http://eprints.soton.ac.uk/265003/1/jpms-date99a.pdf".
- DATE.1999.761110 doi "10.1109/DATE.1999.761110".
- DATE.1999.761110 first1 "J.".
- DATE.1999.761110 first2 "T.".
- DATE.1999.761110 isCitedBy Boolean_satisfiability_problem.
- DATE.1999.761110 isbn "0-7695-0078-1".
- DATE.1999.761110 last1 "Marques-Silva".
- DATE.1999.761110 last2 "Glass".
- DATE.1999.761110 pages "145".
- DATE.1999.761110 title "Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings".
- DATE.1999.761110 year "1999".