Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/393d467c07198a242fecd95ff79cad3cc4ea7d4028ebc71d76b1417914c7d963> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- 393d467c07198a242fecd95ff79cad3cc4ea7d4028ebc71d76b1417914c7d963 contribution "Abstract DPLL and Abstract DPLL Modulo Theories".
- 393d467c07198a242fecd95ff79cad3cc4ea7d4028ebc71d76b1417914c7d963 contributionurl lpar04.pdf.
- 393d467c07198a242fecd95ff79cad3cc4ea7d4028ebc71d76b1417914c7d963 first1 "Robert".
- 393d467c07198a242fecd95ff79cad3cc4ea7d4028ebc71d76b1417914c7d963 first2 "Albert".
- 393d467c07198a242fecd95ff79cad3cc4ea7d4028ebc71d76b1417914c7d963 first3 "Cesar".
- 393d467c07198a242fecd95ff79cad3cc4ea7d4028ebc71d76b1417914c7d963 isCitedBy DPLL_algorithm.
- 393d467c07198a242fecd95ff79cad3cc4ea7d4028ebc71d76b1417914c7d963 last1 "Nieuwenhuis".
- 393d467c07198a242fecd95ff79cad3cc4ea7d4028ebc71d76b1417914c7d963 last2 "Oliveras".
- 393d467c07198a242fecd95ff79cad3cc4ea7d4028ebc71d76b1417914c7d963 last3 "Tinelly".
- 393d467c07198a242fecd95ff79cad3cc4ea7d4028ebc71d76b1417914c7d963 pages "36–50".
- 393d467c07198a242fecd95ff79cad3cc4ea7d4028ebc71d76b1417914c7d963 title "Proceedings Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004".
- 393d467c07198a242fecd95ff79cad3cc4ea7d4028ebc71d76b1417914c7d963 year "2004".