ISSN 1574-0617 - Journal on satisfiability, Boolean modeling and computation (Online)

This resource has been partly archived by the keepers network.

Archival Status
Publisher	Keeper	Status	Last updated
on 1
IOS Press	CLOCKSS Archive	Preserved	2026-06-08
1 to 15
SAGE Publications	LOCKSS Archive	In Progress	2026-06-08
1 to 5
SAGE Publications	CLOCKSS Archive	In Progress	2026-06-08
1 to 14
SAGE Publications	Portico	Preserved	2026-06-11
Preserved : 2006: 1(1-4), 2006: 2(1-4), 2007: 3(1-4), 2008: 4(1-4), 2009: 5(1-4), 2010: 6(1-4), 2011: 7(1-4), 2012: 8(1-4), 2014: 9(1), 2016: 10(1), 2019: 11(1), 2020: 12(1), 2022: 13(1), 2023: 14(1), 2024: 15(1)
SAGE Publications	LOCKSS Archive	Preserved	2026-06-08
6 to 14
IOS Press	National Digital Preservation Program, China	Preserved	2025-12-04
Preserved : 1 (1, 2, 3-4); 2 (1-4); 3 (3-4); 4 (1, 2-4); 5 (1-4); 6 (4); 7 (1, 2-3, 4); 8 (1-2, 3-4); 9 (1); 11; 12; 13

ISSN Record 1574-0617