PhD Position in SAT and MaxSAT Solving: Core-Guided Algorithms and SAT-to-MaxSAT Gadgets

Offer Description We invite applications for a fully funded PhD position at Univesity of Lleida, within the Logic & Optimization group, under the supervision of Dr. Carlos Ansótegui. The successful