Search Pruning Techniques in Sat-Based Branch-And-Bound Algorithms for the Binate Covering Problem
AuthID
P-000-PG4
P-000-PG4
© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service