Skip to content
Vinony

Theory and applications of satisfiability testing -- SAT 2006

by Armin Biere

Cover of Theory and applications of satisfiability testing -- SAT 2006

No description available.

Computer algorithmsPropositional calculusCongressesDecision makingBoolean AlgebraLogic, symbolic and mathematical