Я хотел бы знать, куда я могу обратиться за хорошим, мягким введением в k-SAT (это может быть для математиков, которые могут не иметь хорошего компьютерного фона). Я также хотел бы знать статьи, которые, возможно, опрашивают или объясняют текущие методы, используемые для решения k-SAT. Наконец, меня интересуют самые известные методы решения k-SAT. Я хотел бы получить представление о лучшем среднем и худшем поведении.
Короче говоря, я ищу документы, которые помогут кому-то в математике (не информатике) стать большим экспертом в k-SAT.
reference-request
sat
survey
Мэтт Грофф
источник
источник
Ответы:
Из справочной ветки Lecture Note у нас есть этот документ .
источник
Этот обзорный журнал «Проблема удовлетворенности: теория и приложения» подходит для ознакомления математиков с k-SAT. Это не совсем недавний, но все еще очень ценный ресурс.
источник