问题标签 [cnf]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
java - 在 CN (Java) 中删除 0x0A 的 LDAP 记录
我正在尝试删除由 Microsoft 的冲突解决模型创建的 ADLDS 用户记录。微软将新记录的创建描述为
这些是我试图从我的环境中删除的记录。
我对 uid=baduser 的搜索将返回两个 CN：
cn=John R. Doe 123456
和
cn=John R. Doe 123456
CNF:123e4567-e89b-12d3-a456-426614174000
第二条记录在 cn 中有 \0A。
在其上执行 ctx.destroySubcontext(cn) 错误如下：
cn=John R. Doe 123456
CNF:123e4567-e89b-12d3-a456-426614174000,c=US: [LDAP: error code 34 - 0000208F: NameErr: DSID-0310022D, issue 2006 (BAD_NAME), data 8349
能够删除包含换行符的 cn 的记录，我缺少什么？
注意：我似乎也无法使用 JXplorer 读取/修改此 \0A 记录。搜索后单击记录会导致相同的 BAD_NAME 错误。
sat - SAT求解器中的目标函数是如何表示的？
SAT 求解器可用于解决旅行商问题，其中所选边之间的成本总和很重要。我了解到您随后要求求解器再次寻找较低的成本。该最大值如何以合取范式表示？
cnf - 如何读取 CNF 文件？
我正在研究 Dung 制作的论证系统如何阅读此文件内容？它是一个 cnf 文件，描述了一个抽象的论证框架
np-complete - 3-OCC-MAX SAT np-完成？
假设 3-OCC-MAX SAT 是所有 CNF 公式的语言，其中每个变量最多出现在 3 个子句中。这个问题是NP完全的吗？我试图找到 SAT 和这个问题之间的 karp 减少，但我找不到。
python - 真值表的 CNF
我有一个由真值表呈现的布尔函数。
总共有 10 个变量，我想获得具有合理长度的 CNF（不需要最短，但足够短）。
我该怎么做？
Python 脚本或任何公开可用的软件（例如 Mathematica/Mapple/etc）也适用于我。
z3 - Z3 布尔表达式简化
试图简化这个布尔表达式。
这应该简化为 cnf 形式的布尔表达式。
我一直在尝试通过使用“ctx-solver-simplify”和“tseitin-cnf”策略来实现这一目标。如果仅应用“ctx-solver-simplify”，则不会针对这种情况执行简化。当这两种策略都由 应用时then("tseitin-cnf", "ctx-solver-simplify")，会返回一个包含大量辅助变量的结果。这也不是预期的简化形式。
有没有办法将此表达式简化为预期的输出？
编辑：在 Z3 github repo 中提出了同样的问题，并得到了非常好的工作响应。这是问题所在。
logic - 将一阶逻辑 (FOL) 转换为 CNFFormula
这是我的问题：我不知道如何转换∃m : m ∈ N为 CNF 公式。我只是理解公式∃x(A(x)vB(X))。
python - 数字作为python中cnf变换的符号
如何替换数字子句中用作符号的字母？我使用了一个符号库。
我有
我需要用数字替换字母
例子
有可能的？
visual-studio-code - 如何为远程添加更多支持的文件扩展名（例如 .cnf） - SSH：编辑配置文件
我正在使用 VSCode Remote - SSH: Editing Configuration Files for syntax highlighting for some configuration files，它适用于 .conf 等。但是，我希望它能够与 MySQL .cnf 一起使用，到目前为止我还没有办法，只是使用创建软链接作为“ln -s /etc/my.cnf /etc/my.conf”并改为编辑 /etc/my.conf 的解决方法。它有效但不方便，我不想创建那个软链接。有什么地方可以将 .cnf 添加到 Remote - SSH: Editing Configuration Files 的支持列表中？
谢谢和问候，马丁。