Вопросы с тегом sat4j

0 голосов

1 ответ

Как SAT4J решает псевдо-булевы проблемы?Использует ли он пользовательский псевдо-логический решатель или переводит ограничения в CNF?

Хотелось бы узнать, как Java SAT4j SAT API решает свои псевдобулевы проблемы. У меня был обзор...

Bradley Read / 21 апреля 2019

4 голосов

3 ответов

Вход CNF для решателя SAT4J

Я совершенно новичок в sat4j solver .. он говорит, что некоторый файл cnf должен быть задан как...

karthi / 15 октября 2010

Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.

...