Record Citations

APA Citation

Coll, J., Li, C. M., Li, S., Habet, D., & Manyà, F. (2025). Solving weighted Maximum Satisfiability with Branch and Bound and clause learning.

Chicago Style Citation

Coll, Jordi, Chu Min Li, Shuolin Li, Djamal Habet, and Felip Manyà. Solving Weighted Maximum Satisfiability With Branch and Bound and Clause Learning. 2025.

MLA Citation

Coll, Jordi, et al. Solving Weighted Maximum Satisfiability With Branch and Bound and Clause Learning. 2025.

Warning: These citations may not always be 100% accurate.

Warning: fopen(/tmp/vufind_sessions/sess_u328greqtp15fftsi9k3r7rfbh): failed to open stream: No space left on device in /usr/local/vufind/module/VuFind/src/VuFind/Session/File.php on line 153
Cannot write session to /tmp/vufind_sessions/sess_u328greqtp15fftsi9k3r7rfbh
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: /var/lib/php/session) in /usr/local/vufind/vendor/zendframework/zend-session/src/SessionManager.php on line 234