Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Geographic : alghero

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming

Authors : Katsirelos, George;

Subjects: maximum satisfiability; core-guided solvers; minimum hitting set problemAlghero; Italy

Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023) ; https://hal.science/hal-04199433 ; 26th

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming

Authors : Katsirelos, George;

Subjects: maximum satisfiability; core-guided solvers; minimum hitting set problemAlghero; Italy

Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023) ; https://hal.science/hal-04199433 ; 26th

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming

Authors : Katsirelos, George;

Subjects: maximum satisfiability; core-guided solvers; minimum hitting set problemAlghero; Italy

Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023) ; https://hal.science/hal-04199433 ; 26th

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming

Authors : Katsirelos, George;

Subjects: maximum satisfiability; core-guided solvers; minimum hitting set problemAlghero; Italy

Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023) ; https://hal.science/hal-04199433 ; 26th

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming

Authors : Katsirelos, George;

Subjects: maximum satisfiability; core-guided solvers; minimum hitting set problemAlghero; Italy

Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023) ; https://hal.science/hal-04199433 ; 26th

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي