Als «reference-request» getaggte Fragen

26
in

Die Untersuchung der prägnanten Darstellung von Graphen wurde von Galperin und Wigderson in einem Artikel von 1983 initiiert , in dem sie nachweisen, dass für viele einfache Probleme wie das Finden eines Dreiecks in einem Graphen die entsprechende prägnante Version in vollständig ist. Papadimitriou...

26
Übersetzen von SAT nach HornSAT

Ist es möglich, eine Boolesche Formel B in eine äquivalente Konjunktion von Horn-Klauseln zu übersetzen? Der Wikipedia-Artikel über HornSAT scheint zu implizieren, dass dies der Fall ist, aber ich konnte keine Referenz aufspüren. Beachten Sie, dass ich nicht "in polynomialer Zeit" meine, sondern...

24
Starten von SAT-Solver-Papieren

Ich möchte einen ersten SAT-Löser machen. Ich kenne den SAT-Wettbewerb und die SAT-Konferenz, und es gibt einfach so viele Artikel zu diesem Thema. Ich bin ein Starter, ein überwältigter Starter. Wo soll ich anfangen Schließlich möchte ich den Stand der Technik vorantreiben. Ich möchte einen...