Diskussion:Erfüllbarkeitsproblem der Aussagenlogik

message: Gibt es eigentlich einen schönen deutschen Begriff für SAT-Solver? Ich frage deswegen, weil bereits Leute daran sind, Artikel in Wikipedia über das Thema zu schreiben.--AlfonsGeser 20:47, 23. Mai 2008 (CEST)
thread_title:  SAT-Solver auf Deutsch? 

message: Man sollte ein Beispiel bringen: Eine (nicht triviale) aussagenlogische Formel mit nur einer Belegung, die sie erfüllt.
--MauriceKA 17:13, 18. Jun. 2008 (CEST)
thread_title:  Beispiel 

message: Eine grundlegende Änderung des Artikels wurde heute so begründet:
 Komplette Neukonzeption und Erweiterung des Artikels. Wichtige Grundlagen und die wichtigsten Algorithmen und ihre Konzepte werden erläutert. Die Länge des Artikels ist denke ich angemessen für das wichtigste schwere Problem der Algorithmik. Die einzelnen Kapitel sind so gehalten, dass sie gerade so weit ins Detail gehen, wie es für das Verständnis der Konzepte erforderlich ist, aber Details weglassen, die man z.B. in einem eigenen Artikel des Kapitels erwähnen würde. Quellen: Paper/Konferenzen
Die Quellenangabe ist somit NULL, eigentlich müßte das ganze zurückgesetzt werden. Da ich aber weder Ahnung vom noch Interesse am Thema habe, setze ich den Baustein und überlasse anderes den Kollegen mit Ahnung und Interesse. --PCP (Disk) 12:15, 9. Nov. 2020 (CET)
replies: text: Lag es an dem fehlenden references-Tag und dem Kapitel Einzelnachweise? Das ist repariert. --Mbssdr (Diskussion) 12:49, 9. Nov. 2020 (CET)
replies: text:  Nein, es liegt an der Angabe: "Quellen: Paper / Konferenzen" das ist nicht nachvollziehbar. --PCP (Disk) 14:33, 9. Nov. 2020 (CET)
replies: text:  Tut mir Leid, bin neu hier. Was genau fehlt? Die Quellen sind alle im Artikel aufgeführt und im Text referenziert, wie bei wissenschaftlicher Arbeit üblich. Im Kommentar zur Bearbeitung war noch genau ein Zeichen übrig und die Lösung kann ja auch nicht sein, dort 23 Quellen aufzulisten.--Mbssdr (Diskussion) 15:07, 9. Nov. 2020 (CET)
replies: text:  Hallo, danke dir für deine große Bearbeitung. Ich finde die von dir angegebenen Quellen sind im Allgemeinen wohl ausreichend und scheinen auch den Richtlinien für Wikipedia:Belege zu entsprechen (ohne dies eingehend geprüft zu haben). Es wird wohl noch ein bisschen dauern bis andere Autoren weitere Kleinigkeiten korrigiert und die Änderungen gesichtet haben.--BlauerBaum (Diskussion) 21:40, 9. Nov. 2020 (CET)
replies: text:  Da auch keiner der anderen Autoren die Quellen bemängelt hat entferne ich mal den Hinweis auf fehlende Quellen, der ja nicht zutrifft.--Mbssdr (Diskussion) 21:32, 13. Nov. 2020 (CET)
thread_title:  Quellen / Belege 

message: Folgende Webseiten sind aktuell im Artikel verlinkt:
* http://www.satcompetition.org/
* http://satisfiability.org/
* http://satassociation.org/
* http://jsatjournal.org/
Sie scheinen alle von der selben Person/Organisation (sat association) zu stammen (unter anderem da alle lediglich ein selbst signiertes TLS-Zertifikat haben und bei dem selben Registrar sind). Ich habe jedoch keine Seite gefunden die eindeutig die Zusammengehörigkeit der 4 Webseiten/Organisationen zeigt, es wäre wohl wünschenswert das auf einen Weblink zu reduzieren.--BlauerBaum (Diskussion) 22:02, 9. Nov. 2020 (CET)
replies: text: Viele Webseiten von Konferenzen, nicht-kommerziellen Instituten etc. muten leider eher provisorisch an. Ich würde am ehesten die SAT-Association drin lassen, von da kann man sich auch zu den anderen Seiten durchschlagen, wenn man möchte. Ich würde aber vorschlagen die Competition auch drinzulassen, da der Wettbewerb für sich interessant ist und der interessierte Nutzer da vielleicht gerne draufklicken würde. --Mbssdr (Diskussion) 00:22, 10. Nov. 2020 (CET)
thread_title:  Webseiten der SAT-Association