@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Complexity_of_constraint_satisfaction	dbo:wikiPageWikiLink	dbr:Propositional_satisfiability .
<http://dbpedia.org/resource/Fran\u00E7ois_Fages>	dbo:wikiPageWikiLink	dbr:Propositional_satisfiability .
<http://dbpedia.org/resource/Local_search_(constraint_satisfaction)>	dbo:wikiPageWikiLink	dbr:Propositional_satisfiability .
dbr:Automated_planning_and_scheduling	dbo:wikiPageWikiLink	dbr:Propositional_satisfiability .
dbr:Toby_Walsh	dbo:wikiPageWikiLink	dbr:Propositional_satisfiability .
dbr:Constraint_learning	dbo:wikiPageWikiLink	dbr:Propositional_satisfiability .
dbr:Model_checking	dbo:wikiPageWikiLink	dbr:Propositional_satisfiability .
dbr:Stefan_Szeider	dbo:wikiPageWikiLink	dbr:Propositional_satisfiability .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Propositional_satisfiability	owl:sameAs	dbr:Propositional_satisfiability ;
	dbo:wikiPageWikiLink	dbr:Boolean_satisfiability_problem ;
	dbo:wikiPageRedirects	dbr:Boolean_satisfiability_problem .