Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings
Computer algorithmsCongressesComputer softwareVerificationComputer software, verificationComputer scienceLogic designArtificial intelligence
Writing a summary for young readers…
For young readers
Book data: Open Library