The development of machine learning algorithms has been gathering releva...
Deep reinforcement learning (DRL) has demonstrated its potential in solv...
The most successful parallel SAT and MaxSAT solvers follow a portfolio
a...
Most recent MaxSAT algorithms rely on a succession of calls to a SAT sol...