Abstract: The efficiency of "conflict-based Clause-Learning Boolean Fulfilment (CDCLSAT)" solvers on engineering problems from several fields has been seeing notable modifications during the last 20 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results