> *I don't understand why SAT solvers don't use gaussian elimination more.* Thes... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		emil-lp 51 days ago \| parent \| context \| favorite \| on: SATisfying Solutions to Difficult Problems > I don't understand why SAT solvers don't use gaussian elimination more. These are the types of questions that can easily be answered by simply trying.

js8 51 days ago [–]

I agree they can be answered, but easily - no. The Grobner basis algorithm has been known for longer than NP problems, so it's not obvious why it wasn't used to solve SAT problems.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact