Journal on Satisfiability, Boolean Modeling and ComputationPackUp: Tools for Package Upgradability Solving∗ system description Mikol´ aˇ - Satisfiability - Document - PDFSEARCH.IO

First Page	Meta Content
	Journal on Satisfiability, Boolean Modeling and ComputationPackUp: Tools for Package Upgradability Solving∗ system description Mikol´ aˇ Add to Reading List Document Date: 2012-01-12 08:43:36 Open Document File Size: 672,54 KB Share Result on Facebook

Journal on Satisfiability, Boolean Modeling and ComputationPackUp: Tools for Package Upgradability Solving∗ system description Mikol´ aˇAdd to Reading List