Probabilistic characterization of random Max [formula omitted]-Sat

Autor: Berend, Daniel, Twitto, Yochai
Zdroj: In Discrete Optimization May 2021 40
Databáze: ScienceDirect