{"type":"ScholarlyArticle","title":"Three Truth Values for the SAT and MAX-SAT Problems","authors":[{"name":"Frédéric Lardeux","slug":"frederic-lardeux","given":"Frédéric","family":"Lardeux","affiliation":""},{"name":"Frédéric Saubion","slug":"frederic-saubion","given":"Frédéric","family":"Saubion","affiliation":""},{"name":"Jin-Kao Hao","slug":"jin-kao-hao","given":"Jin-Kao","family":"Hao","affiliation":""}],"abstract":"The aim of this paper is to propose a new resolution framework for the SAT and MAX-SAT problems which introduces a third truth value undefined in order to improve the resolution efficiency. Using this framework, we have adapted the classic algorithms Tabu Search and Walksat. Promising results are obtained and show the interest of our approach.","doi":null,"url":"https://ijcai.org/proceedings/2005/86","pdf":"https://ijcai.org/proceedings/2005/0086.pdf","markdown":"https://ijcai.org/proceedings/2005/86.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/86","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":86,"pages":{"first":187,"last":191},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}