Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

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

Sort By: Relevance

Filter

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

Format : Conference Materials

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

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses

Authors : Lübke, Ole

Subjects: Incremental MaxSAT; XOR Constraints; Fuzz Testing

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

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

Conference

Exploiting Configurations of MaxSAT Solvers

Authors : Alòs, Josep; Ansótegui Gil, Carlos José; Salvia Hornos, Josep M.

Subjects: Maximum satisfiability; Maxsat evaluation; Automatic configuration

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

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

Conference

Polynomial calculus for MaxSAT

Authors : Bonacina, Ilario; Bonet Carbonell, M. Luisa; Levy Díaz, Jordi ...

Subjects: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica; Formal methods (Computer science); Polynomials

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

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

Conference

Learning shorter redundant clauses in SDCL using MaxSAT

Authors : Oliveras Llunell, Albert; Li, Chunxiao; Wu, Darryl ...

Subjects: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica; Formal methods (Computer science); SAT

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

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

Conference

Certified MaxSAT Preprocessing

Authors : Ihalainen, Hannes; Oertel, Andy; Tan, Yong Kiam ...

Subjects: formally verified proof checking; maximum satisfiability; preprocessing

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

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

Conference

noSAT-MaxSAT

Authors : Lübke, Ole; Schupp, Sibylle

Subjects: MaxSAT; 004: Informatik

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

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

Academic Journal

PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT

Authors : Kiesel, Rafael; Schidler, André; Rafael Kiesel and André Schidler

Subjects: Directed Feeback Vertex Set; Data Reductions; Incremental MaxSAT

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

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

Conference

Optimizing the liver/kidney organ donation waiting list in Antalya using maxsat and graph model

Authors : Ülgen, Semail; Yangın, Elifnaz;

Subjects: Organ transplantation; Waiting list optimization; MaxSAT

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

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

Conference

MaxSAT-Based Inconsistency Measurement

Authors : Niskanen, Andreas; Kuhlmann, Isabelle; Thimm, Matthias ...

Subjects: Computer and information sciences

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

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

Academic Journal

Refined Core Relaxation for Core-Guided MaxSAT Solving

Authors : Ihalainen, Hannes; Berg, Jeremias; Järvisalo, Matti ...

Subjects: maximum satisfiability; MaxSAT; core-guided MaxSAT solving

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

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

نتائج البحث

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

IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses

Exploiting Configurations of MaxSAT Solvers

Polynomial calculus for MaxSAT

Learning shorter redundant clauses in SDCL using MaxSAT

Certified MaxSAT Preprocessing

noSAT-MaxSAT

PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT

Optimizing the liver/kidney organ donation waiting list in Antalya using maxsat and graph model

MaxSAT-Based Inconsistency Measurement

Refined Core Relaxation for Core-Guided MaxSAT Solving

اتصل بنا

اتبع