Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- A Compact Encoding of Pseudo-Boolean Constraints into SAT + (Norbert Manthey<br /> '''[[Misc3052|A Compact Encoding of Pseudo-Boolean Constraints into SAT]] … Norbert Manthey<br /> '''[[Misc3052|A Compact Encoding of Pseudo-Boolean Constraints into SAT]]''' <br />__NOTOC__KI 2012, Saarbrücken, Germany, September 2012<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Misc3052|Details]]isc3052|Details]])
