Clausal Forms in MaxSAT and MinSAT by Chu Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal

Subjects: “…Maximum satisfiability problem…”
Get full text

Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT by Zaijun Zhang, Jincheng Zhou, Xiaoxia Wang, Heng Yang, Yi Fan

Subjects: “…maximum satisfiability…”
Get full text

Quantum Algorithm for Variant Maximum Satisfiability by Abdirahman Alasow, Peter Jin, Marek Perkowski

Subjects: Get full text

Negative Learning Ant Colony Optimization for MaxSAT by Teddy Nurcahyadi, Christian Blum, Felip Manyà

Subjects: Get full text

Incremental Formula-Based Fix Localization by Quang-Ngoc Phung, Eunseok Lee

Subjects: Get full text

Dynamic Initial Weight Assignment for MaxSAT by Abdelraouf Ishtaiwi, Qasem Abu Al-Haija

Subjects: “…maximum satisfiability…”
Get full text

MAX-SAT Problem using Hybrid Harmony Search Algorithm by Abu Doush Iyad, Quran Amal Lutfi, Al-Betar Mohammed Azmi, Awadallah Mohammed A.

Subjects: “…maximum satisfiability problem…”
Get full text