Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,537,675 papers from all fields of science
Search
Sign In
Create Free Account
Satz (SAT solver)
Known as:
Satz (disambiguation)
SatZ is a well known SAT instance solver. It was developed by Prof. Chu Min Li, a computer science researcher. The Z stands for the last version of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Boolean satisfiability problem
Maximum satisfiability problem
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Neuregelung der Verlustausgleichsbeschränkung des § 14 Abs. 1 Satz 1 Nr. 5 KStG – Auswirkungen auf deutsche Inbound-Finanzierungen über KG-Holding-Strukturen
M. Schaden
,
Robert Polatzky
2013
Corpus ID: 164397081
2013
2013
ESSAYS TWO YEARS AFTER KECK
L. Gormley
2013
Corpus ID: 17251334
This Essay begins by rejecting the reasoning of the joined cases Keck & Mithouard. After discussing what passes for reasoning in…
Expand
2012
2012
Die EU Richtlinie zur Bekämpfung von Kinderpornographie
M. Gercke
Computer und Recht
2012
Corpus ID: 49674621
2. Das Gericht ist nicht verpflichtet, ein Telefaxgerät zu verwenden, dessen Systemzeit der (gemäß § 6 Abs. 2 Satz 1 Nr. 2…
Expand
2012
2012
Mitteilungen der DGPPN 2/2012
P. Falkai
Der Nervenarzt
2012
Corpus ID: 40332595
Der zweite Senat des Bundesverfassungsgerichts hat im Beschluss vom 23.03.2011 (2 BvR 882/09) die Zwangsbehandlung mit…
Expand
2007
2007
Wie erklärt man ein Nash-Gleichgewicht?
U. Schäfer
2007
Corpus ID: 67758962
Obwohl der Film ” A beautiful mind“ von Ron Howard aus dem Jahre 2001 mit dem Satz beginnt, dass Mathematiker den Zweiten…
Expand
2004
2004
Mitteilungen DGPPN
J. Aldenhoff
,
W. Maier
Der Nervenarzt
2004
Corpus ID: 46060771
Willen des Gesetzgebers entspricht. Dieser Satz 2 lautet: „Bei Patienten, die im Rahmen einer klinischen Studie behandelt werden…
Expand
2003
2003
Untersuchung individueller Unterschiede in der mentalen Repräsentation von symbolverarbeitenden Regelsystemen
Cohors-Fresenborg Elmar
,
Striethorst Ansgar
2003
Corpus ID: 140746701
Es wird uber ein Projekt aus der mathematikdikdidaktischen Grundlagen forschung berichtet, in dem mentale Prozesse, die bei…
Expand
1996
1996
Kommentar zu Art. 18 Abs. 1 Satz 2 Bundesverfassung (ziviler Ersatzdienst)
R. J. Schweizer
1996
Corpus ID: 191797740
1969
1969
Der von L.Geitler aufgestellte Satz über die Notwendigkeit einer Mitose für jede Schalenbildung von Diatomeen. Beobachtungen über die Reichweite und Überlegungen zu seiner zellmechanischen Bedeutung
H. Stosch
,
K. Kowallik
Österreichische Botanische Zeitschrift
1969
Corpus ID: 43835938
Bei dem auBerordentlich rasehen Fortschreiten unserer Kenntnisse iiber sehr allgemeine oder fiir allgemeing/iltig gehaltene…
Expand
1939
1939
Die Differenzierungserscheinung der Einzelzelle, studiert an Algen und Haaren im Lichte der Mizellehre
H. Ziegenspeck
Protoplasma
1939
Corpus ID: 46024893
ZusammenfassungAls die Hauptergebnisse unserer Betrachtung möchte ich daher folgende Sätze herausstellen:1.Die Entwicklung und…
Expand