Can I read Random Walk Heuristic for MAX-SAT on EtoBox?
Random Walk Heuristic for MAX-SAT by Simon Lau Boung Yew is a document available to read on EtoBox.
What is Random Walk Heuristic for MAX-SAT about?
The document outlines Lab 1 for COMP2024, focusing on the implementation of a random walk heuristic to solve the MAX-SAT problem. It details prerequisites, lab requirements, the random walk algorithm, and a step-by-step procedure for setting up the environment, running the code, and analyzing results. Additionally, it includes tasks for experimentation, questions for reflection, and evaluation criteria for deliverables.
- Author
- Simon Lau Boung Yew
- Language
- EN