Converting of Boolean Expression to Linear Equations, Inequalities and QUBO Penalties for Cryptanalysis
Sign Up to like & getrecommendations! Published in 2022 at "Algorithms"
DOI: 10.3390/a15020033
Abstract: There exists a wide range of constraint programming (CP) problems defined on Boolean functions depending on binary variables. One of the approaches to solving CP problems is using specific appropriate solvers, e.g., SAT solvers. An… read more here.
Keywords: boolean function; function; converting boolean; equations inequalities ... See more keywords