問題タブ [satisfiability]
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.
107 問題
0
投票する
1
に答える
50
参照
cryptography - 定数入力は、問題の SAT 定式化にどのように影響しますか?
N 個の入力と 1 個の出力を持つブラック ボックス回路があるとします。
M 入力の値を修正し、回路が満足できる残りの入力 (NM) の値を見つけたいと考えています。Verilog RTL の M 入力を手動で修正し、(abc を使用して) CNF に変換すると、正しい結果が得られますか? この種の問題に対する正しいアプローチですか？