Na podstawie artykułu: "Problem spełnialności" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy