Large Neighbourhood Search for Anytime MaxSAT Solving

Randy Hickey, Fahiem Bacchus

• Video #1 Length : 00:01:29 on SlidesLive
• Video #2 Length : 00:05:48 on SlidesLive