Announcement_20260830
Very happy to give a talk, “Tailoring MaxSAT Local Search Solvers through Black-box Optimization Techniques,” at the PPSN Workshop on Tailoring Optimization Approaches with Domain Knowledge.
Very happy to give a talk, “Tailoring MaxSAT Local Search Solvers through Black-box Optimization Techniques,” at the PPSN Workshop on Tailoring Optimization Approaches with Domain Knowledge.