نتائج البحث

Certified MaxSAT Preprocessing

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

Subjects: Naturvetenskap; Data- och informationsvetenskap (Datateknik); Datavetenskap (datalogi)

• Source: 12th International Joint Conference, IJCAR 2024,Nancy, France,-- Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I - 12th

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

IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses

• Authors : Lübke, Ole

Subjects: Computer Science - Artificial Intelligence

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

MaxSAT decoders for arbitrary CSS codes

• Authors : Noormandipour, Mohammadreza; Haug, Tobias

Subjects: Quantum Physics; Computer Science - Information Theory

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

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules

• Authors : Júnior, Antônio Carlos Souza Ferreira; Rocha, Thiago Alves

Subjects: Computer Science - Machine Learning; Computer Science - Artificial Intelligence; Computer Science - Logic in Computer Science

• Source: Intelligent Systems (2023), LNCS, vol 14195 (pp. 227-242), Springer Nature

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

Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis

• Authors : Ye, Furong; Luo, Chuan; Cai, Shaowei

Subjects: Computer Science - Artificial Intelligence

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

Certified Core-Guided MaxSAT Solving

• Authors : Berg, Jeremias; Bogaerts, Bart; Nordström, Jakob ...

Subjects: certifying algorithms; core-guided search; MaxSAT

• Source: Proceedings of the 29th International Conference on Automated Deduction, CADE-29,Rome, Italy,-- Automated Deduction – CADE th International Conference on Automated Deduction, Proceedings.

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

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers

• Authors : Zheng, Jiongzhi; Chen, Zhuo; Li, Chu-Min

Subjects: Computer Science - Artificial Intelligence

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

Solving MaxSAT with Matrix Multiplication

• Authors : Warde-Farley, David; Nair, Vinod; Li, Yujia

Subjects: Computer Science - Artificial Intelligence; Computer Science - Machine Learning; Computer Science - Logic in Computer Science

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

Exploiting Configurations of MaxSAT Solvers

• Authors : Alòs, Josep; Ansótegui, Carlos; Salvia, Josep M.

Subjects: Computer Science - Artificial Intelligence

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

Optimal Synthesis of Stabilizer Codes via MaxSAT

• Authors : Yin, Keyi; Zhang, Hezi; Shi, Yunong

Subjects: Quantum Physics

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