Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Non-Binary constraints in binary constraints umwandeln
Hi.
Wofür stehen im Folienbeispiel zur Constraint-binarization jeweils das p und das x?
Pic related.
Attachment:
KI.png: https://fsi.cs.fau.de/unb-attachments/post_154493/KI.png
1 „Gefällt mir“
Ähm… ja, wenn du das rausfindest hast du die Aufgabe auch gelöst 