CHAMP: A multipass algorithm for Max Sat based on saver variables
| Autor: | Berend, Daniel, Golan, Shahar, Twitto, Yochai |
|---|---|
| Zdroj: | In Discrete Optimization February 2023 47 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Berend, Daniel, Golan, Shahar, Twitto, Yochai |
|---|---|
| Zdroj: | In Discrete Optimization February 2023 47 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect