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
p074393308
p074393308
http://data.bibliotheken.nl/id/thes/p074393308
Polynomial-time inference of all valid implications for Horn and related formulae / E. Boros, Y. Crama, P.L. Hammer
Upper-bounds for quadratic 0-1 maximization / E. Boros, Y. Crama, P.L. Hammer
author
A complexity index for satisfiability problems / E. Boros ... [et al.]
contributor
p074393308
http://data.bibliotheken.nl/id/thes/p074393308