Journal on satisfiability, Boolean modeling and computation : JSAT.
Technische Universiteit Delft.
Delft : Technische Universiteit Delft
Has special issues.
Description based on: Vol. 1 (2005); title from contents page (publisher's Web site, viewed Dec. 11, 2009).
Latest issue consulted: Vol. 7 (2009) (viewed Dec. 11, 2009).
Refereed/Peer-reviewed
Computer science
Algebra, Boolean
Algebra, Boolean.
Computer science.