Neue Hybridheuristiken verbessern Pseudo-Boolean-Propagation
Ein neues arXiv-Papier (ArXiv:2511.21417v1) stellt innovative Hybridheuristiken für die Pseudo-Boolean-Propagation vor. Die Autoren zeigen, dass ihre Ansätze die derzeit erfolgreichste Kombination aus dem beobachteten L…