Journal on Satisfiability, Boolean Modeling and Computation
JSAT @ IOS
- Volume 8: 2012
- Volume 7: 2010
- Volume 6: 2009
- Volume 5: 2008
- Volume 4: 2008
- Volume 3: 2007
- Volume 2: 2006
- Volume 1: 2006/2007
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team