2 research outputs found
Some Interesting Research Directions in Satisfiability
Get PDFSome reflections on past research in SAT algorithms is presented. Some of the more important goals of SAT research are stated and results given. Possible future SAT research topics are outlined
Some Interesting Research Directions in Satisfiability
No full textSome reflections on past research in SAT algorithms is presented. Some of the more important goals of SAT research are stated and results given. Possible future SAT research topics are outlined
