Deciding Boolean Separation Logic via Small Models (Lecture notes in computer science, 2024)