Chcę zmienić problem matematyczny, który mam, w logiczny problem satysfakcji (SAT), a następnie rozwiązać go za pomocą SAT Solvera. Zastanawiam się, czy ktoś zna instrukcję, przewodnik lub cokolwiek, co pomoże mi przekonwertować mój problem na instancję SAT.
Chcę też rozwiązać ten problem w czasie lepszym niż wykładniczy. Mam nadzieję, że Solver SAT mi pomoże.