/UCTMAXSAT

Monte-Carlo Tree Search for the Maximum Satisfiability Problem

Primary LanguageC

Stargazers