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

Property	Value
dbpprop:doiInlineProperty	10.1109/DATE.1999.761110 Combinational Equivalence Checking Using Satisfiability and Recursive Learning
dbpprop:wikiPageUsesTemplate	dbpedia:Template:doi-inline
is dbpprop:relatedInstance of	dbpedia:Boolean_satisfiability_problem

About: http://dbpedia.org/resource/Boolean_satisfiability_problem/doi-inline5