Registro de Citas

Cita APA

Rollón Rico, E., & Larrosa Bondia, F. J. (2022). Proof complexity for the maximum satisfiability problem and its use in SAT refutations.

Citación estilo Chicago

Rollón Rico, Emma|||0000-0001-8021-9464, y Francisco Javier|||0000-0002-8322-0505 Larrosa Bondia. Proof Complexity for the Maximum Satisfiability Problem and Its Use in SAT Refutations. 2022.

Cita MLA

Rollón Rico, Emma|||0000-0001-8021-9464, y Francisco Javier|||0000-0002-8322-0505 Larrosa Bondia. Proof Complexity for the Maximum Satisfiability Problem and Its Use in SAT Refutations. 2022.

Precaución: Estas citas no son 100% exactas.

Warning: fopen(/tmp/vufind_sessions/sess_v7tv5lc4tocqfssrabknob91c0): 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_v7tv5lc4tocqfssrabknob91c0
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