في عالم البحث متعدد المعايير، تتطلب عملية استكشاف المسارات مقارنة دقيقة عبر هيمنة باريتو (Pareto dominance). ولكن، كيف نختار المسار الأنسب للتوسيع التالي أو نحدد متى نتوقف عن البحث؟ هذه الأسئلة تعاني منها العديد من الطرق الحالية التي تعتمد على آليات خارجية مثل التوجيهات أو التحجيم.في هذا البحث الجديد، يظهر الفريق البحثي أننا نستطيع الاعتماد فقط على هندسة باريتو لقيادة عمليات الجدولة (scheduling) وإنهاء البحث. باستخدام نماذج تكلفة محدودة (constrained cost models) ومحددات تقدم غير صفرية، يمكننا تحقيق تقدم ثابت نحو الحل. من خلال استنتاج المعلومات من الطبقة الأولى لهندسة باريتو، المعروفة بالمجسّمات السماء، يمكننا ضمان تقدم واضح نحو الحلول، بينما يوفر الشهادة على الحدود الدنيا من المتجهات (vector lower-bound certificate) شروط توقف تضمن تغطية الهيمنة لكل الرحلات المتبقية دون الحاجة لتحديد مسبق لعدد الحلول.\n\nالتحليل الذي يُقدم يرسخ مفاهيم تقدم محدد، وإنهاء موثق بتغطية الهيمنة، وانحدار موحد في عرض الطبقات المستندة إلى هندسة التكلفة، وتشتت تكاليف جشع ضمن المجسّمات السماء. والنتيجة النهائية هي إطار عمل يعمل بشكل مستقل عن التحجيم أو الإرشادات العشوائية، مما يجعل هيمنة باريتو دافعًا رئيسيًا للبحث بدلًا من أن تكون مجرد فلتر سلبي.