Index of tesis/2021/hdl_10803_671710/

Soler Cabrejas, Juan Ramón
New Solving Techniques for Maximum and Minimum Satisfiability
2021
https://ddd.uab.cat/record/243525