Public

Boolean satisfiability

Published in Communications of the ACM • Feb 26, 2014

Authors:

Moshe Y. Vardi

Abstract

No abstract available.

Subject

Computer science

Boolean satisfiability problem

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!