Volume: Vol-4008 SMT+PoS 2025 | Year: 2025

Paper: « POS_paper08 | POS_paper09 | POS_paper11 »

Improving Watched Pseudo-Boolean Propagation with Significant Literals

• Mia Müßig
• Jan Johannsen

177-189 PDF