0

SAT と SMT について読みました。実際のプログラミング シナリオでどのように適用できるのか、常に疑問に思っています。

次に例を示します。

それが真であるとすれば、真か偽var a = 20; var b = a;かを知りたいのです。b = 20

それをブール代数式に変換してSATを適用するにはどうすればよいですか?

4

1 に答える 1