2024-10-222024-10-22https://hdl.handle.net/11420/4980315th International Workshop on Pragmatics of SAT, PoS 2024Workshop