Kaiyuan Zhu's research while affiliated with Indiana University Bloomington and other places

Publications (2)

Article
A clause is not-all-equal satisfied if it has at least one literal assigned with true and one literal assigned with false. Max NAE-SAT is given by a boolean variable set U and a clause set C, asks to find an assignment of U, such that the number of not-all-equal satisfied clauses in C is maximized. Max NAE-SAT turns into Max NAE-k-SAT if each claus...
Conference Paper
Full-text available
A clause is not-all-equal satisfied if it has at least one literal assigned by \(T\) and one literal assigned by \(F\). Max NAE-SAT is given by a set \(U\) of boolean variables and a set \(C\) of clauses, and asks to find an assignment of \(U\), such that the not-all-equal satisfied clauses of \(C\) are maximized. Max NAE-SAT turns into Max NAE-\(k...