Fedor
/
Nederlandse-Bibliografie-Totaal-NBT
/
Login
Register
Netwerk Digitaal Erfgoed
Nederlandse Bibliografie Totaal (NBT)
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
Graphs
1
Services
2
905479819
905479819
http://www.worldcat.org/oclc/905479819
A two phase algorithm for solving a class of hard satisfiability problems / J.P. Warners, H. van Maaren
sameAs
905479819
http://www.worldcat.org/oclc/905479819