2023-11-022023-11-02https://hdl.handle.net/11420/4402915th International Workshop on Boolean Problems, IWSBP 2022Workshop10.15480/882.1054110.15480/882.10541