About: http://dbpedia.org/resource/Satisfiability_Modulo

Property	Value
dbpprop:doiInlineProperty	10.1109/TCAD.2002.1004311 A New FPGA Detailed Routing Approach via Search-Based Boolean Satisfiability
dbpprop:wikiPageUsesTemplate	dbpedia:Template:doi-inline
is dbpprop:relatedInstance of	dbpedia:Satisfiability_Modulo_Theories

About: http://dbpedia.org/resource/Satisfiability_Modulo_Theories/doi-inline3