Boolean satisfiability in electronic design automation | Publicación