Computer Science, Logic in Computer Science Hardness of Submodel Enumeration for Combinatorial Logic December 15, 2023
Mathematics, Optimization and Control SimplifiedQbsolv and SA for Efficient NPP Solving December 14, 2023