Theory and applications of satisfiability testing -- SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30--July 3, 2009. Proceedings

From MaRDI portal

(Redirected from Theory and applications of satisfiability testing -- SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30--July 3, 2009. Proceedings)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Theory_and_applications_of_satisfiability_testing_--_SAT_2009._12th_international_conference,_SAT_2009,_Swansea,_UK,_June_30--July_3,_2009._Proceedings&oldid=69454968"