New Hybrid Heuristics for Pseudo-Boolean Propagation
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912775502036992 |
|---|---|
| author | Müßig, Mia Johannsen, Jan |
| author_facet | Müßig, Mia Johannsen, Jan |
| contents | In pseudo-boolean solving the currently most successful unit propagation strategy is a hybrid mode combining the watched literal scheme with the counting method. This short paper introduces new heuristics for this hybrid decision, which are able to drastically outperform the current method in the RoundingSAT solver. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_21417 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | New Hybrid Heuristics for Pseudo-Boolean Propagation Müßig, Mia Johannsen, Jan Artificial Intelligence Optimization and Control In pseudo-boolean solving the currently most successful unit propagation strategy is a hybrid mode combining the watched literal scheme with the counting method. This short paper introduces new heuristics for this hybrid decision, which are able to drastically outperform the current method in the RoundingSAT solver. |
| title | New Hybrid Heuristics for Pseudo-Boolean Propagation |
| topic | Artificial Intelligence Optimization and Control |
| url | https://arxiv.org/abs/2511.21417 |