Semantisches Browsen
Aus International Center for Computational Logic
@article{M2015,
author = {Norbert Manthey},
title = {Towards next generation sequential and parallel {SAT} solvers},
journal = {Constraints},
publisher = {Springer {US}},
year = {2015},
month = {September},
pages = {1-2},
doi = {10.1007/s10601-015-9226-6}
}
author = {Norbert Manthey},
title = {Towards next generation sequential and parallel {SAT} solvers},
journal = {Constraints},
publisher = {Springer {US}},
year = {2015},
month = {September},
pages = {1-2},
doi = {10.1007/s10601-015-9226-6}
}
Manthey +
Norbert +
Norbert Manthey<br/> '''[[Article3015|Towards next generation sequential and parallel SAT solvers]] … Norbert Manthey<br/> '''[[Article3015|Towards next generation sequential and parallel SAT solvers]]''' <br/>__NOTOC__Constraints, 1-2, September 2015<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article3015|Details]]rticle3015|Details]] +
Norbert Manthey<br/> '''[[Article3015/en|Towards next generation sequential and parallel SAT solvers]] … Norbert Manthey<br/> '''[[Article3015/en|Towards next generation sequential and parallel SAT solvers]]''' <br/>__NOTOC__Constraints, 1-2, September 2015<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article3015|Details]]rticle3015|Details]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Towards next generation sequential and parallel SAT solvers +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
15. September 2015, 07:10:58 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Towards next generation sequential and parallel SAT solvers +, Towards next generation sequential and parallel SAT solvers +, Towards next generation sequential and parallel SAT solvers +, Towards next generation sequential and parallel SAT solvers + und Towards next generation sequential and parallel SAT solvers +
