cnf

1зной

1ответ

parse dimacs CNF-файл python

У меня есть файл в формате DIMACS cnf, который мне нужно манипулировать в необходимом формате для SAT Solver. В частности, мне нужно получить: ['c horn? no', 'c forced? no', 'c mixed sat? no', 'c clau

python cnf sat-solvers 2015-03-06

---

1зной

2ответ

Python List Indexing and Returning Item

Так что это простой вопрос, с которым я, похоже, запутался, я работал над этой проблемой ввода и пытался сохранить определенные части входа пользователя в сегментированные списки. Пользовательский вво

python list methods cnf 2015-03-12

---

0зной

1ответ

CNF vs Horn Удовлетворительность

Я знаю, что легче доказать, что звуковая формула является выполнимой. Мой вопрос: почему это проще с формулой рога, а не с обычной CNF?

satisfiability cnf sat-solvers horn 2015-03-16

---

0зной

1ответ

Сплит и/или разбиение большого файла CNF/Матрица

простой выпуск. У меня очень большой файл CNF, представляющий матрицу m x n. скажем> 10000 переменных со связанными терминами. Итак, на первом этапе я хочу разбить CNF-файл или даже лучше разбить матр

python python-2.7 matrix cnf sat-solvers 2014-04-07

---

3зной

1ответ

Что касается SAT Solvers и cnf файлов

Я пытаюсь использовать Cryptominisat (что-то подобное сделает), чтобы сформулировать атаку на Piccolo, легкий блок-шифр, аналогичный AES. Уравнения что-то вроде этого: Z = z1 | z2 | ... | z16, 1 < = я

c cryptography cnf cryptanalysis 2013-04-30

---

1зной

1ответ

Microsoft Solver Foundation SAT CNF

Я пытаюсь использовать Microsoft Solver Foundation SatSolver для решения простой проблемы CNF через Visual Studio (C# или VB). Может ли кто-нибудь опубликовать простой пример, объясняющий, как это мож

c# solver cnf 2014-09-11

---

1зной

1ответ

Как преобразовать PCFG в CNF для этой грамматики?

Учитывая следующий вероятностный контекстно-свободной грамматики - 1.NP -> ADJ N [0.6] 2.NP -> N [0.4] 3.N -> cat [0.2] 4.N -> dog [0.8] каковыми будут CNF ??

nlp stanford-nlp cnf 2016-10-04

---