Author of the publication

Phase Transition for Maximum Not-All-Equal Satisfiability.

, , , and . FAW, volume 10336 of Lecture Notes in Computer Science, page 267-279. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Internal and External Optical Feedback Effect in Fiber Linear Lasers., , , and . J. Networks, 8 (9): 1990-1996 (2013)LS-DTKMS: A Local Search Algorithm for Diversified Top-k MaxSAT Problem., , , and . SAT, volume 271 of LIPIcs, page 29:1-29:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Approximate Counting CSP Solutions Using Partition Function., , and . CoRR, (2013)Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract)., , and . AAAI, page 23561-23562. AAAI Press, (2024)AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis., , , and . IJCAI, page 1866-1872. ijcai.org, (2022)Phase Transition for Maximum Not-All-Equal Satisfiability., , , and . FAW, volume 10336 of Lecture Notes in Computer Science, page 267-279. Springer, (2017)Diversified Top-k Partial MaxSAT Solving., , , , , and . CoRR, (2017)An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs., , , , and . CoRR, (2019)The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter., and . FAW-AAIM, volume 7285 of Lecture Notes in Computer Science, page 212-223. Springer, (2012)An effective GSA based memetic algorithm for permutation flow shop scheduling., , , and . IEEE Congress on Evolutionary Computation, page 1-6. IEEE, (2010)