Matches in DBpedia 2016-04 for { <http://ieeexplore.ieee.org.proxy.lib.umich.edu/stamp/stamp.jsp?tp=&arnumber=569607> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- stamp.jsp?tp=&arnumber=569607 author "J.P. Marques-Silva and Karem A. Sakallah".
- stamp.jsp?tp=&arnumber=569607 contribution "GRASP-A New Search Algorithm for Satisfiability".
- stamp.jsp?tp=&arnumber=569607 date "November 1996".
- stamp.jsp?tp=&arnumber=569607 isCitedBy Conflict-Driven_Clause_Learning.
- stamp.jsp?tp=&arnumber=569607 pages "220–227".
- stamp.jsp?tp=&arnumber=569607 title "Digest of IEEE International Conference on Computer-Aided Design".
- stamp.jsp?tp=&arnumber=569607 url stamp.jsp?tp=&arnumber=569607.