نتائج البحث

Combining clause learning and branch and bound for MaxSAT

• Authors : Li, Chu Min; Xu, Zhenxing; Coll, Jordi

Subjects: MaxSAT; Branch&Bound; CDCL

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

MaxSAT Resolution and Subcube Sums

• Authors : Filmus, Yuval; Mahajan, Meena; Sood, Gaurav

• Source: Theory and Applications of Satisfiability Testing – SAT 2020 ; Lecture Notes in Computer Science ; page 295-311 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030518240 9783030518257

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

Abstract Cores in Implicit Hitting Set MaxSat Solving

• Authors : Berg, Jeremias; Bacchus, Fahiem; Poole, Alex

• Source: Theory and Applications of Satisfiability Testing – SAT 2020 ; Lecture Notes in Computer Science ; page 277-294 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030518240 9783030518257

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

Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems

• Authors : Larrosa, Javier; Rollon, Emma

• Source: Theory and Applications of Satisfiability Testing – SAT 2020 ; Lecture Notes in Computer Science ; page 218-232 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030518240 9783030518257

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

Correction to: MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules

• Authors : Malioutov, Dmitry; Meel, Kuldeep S.

• Source: Lecture Notes in Computer Science ; Principles and Practice of Constraint Programming ; page C1-C1 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319983332 9783319983349

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

Improving WPM2 for (Weighted) Partial MaxSAT

• Authors : Ansotegui, Carlos; Bonet, María Luisa; Gabas, Joel ...

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

Clause Redundancy and Preprocessing in Maximum Satisfiability

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

• Source: Automated Reasoning ; Lecture Notes in Computer Science ; page 75-94 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031107689 9783031107696

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

The Mathematics of Peter L. Hammer (1936-2006): Graphs, Optimization, and Boolean Models

• Authors : Boros, Endre; Crama, Yves; De Werra, Dominique ...

Subjects: Engineering, computing & technology; Computer science; Physical, chemical, mathematical & earth Sciences

• Source: The Mathematics of Peter L. Hammer (1936-2006): Graphs, Optimization, and Boolean Models, 1-18 (2011)

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