Fiveworlds2

Repeated edits at Boolean satisfiability problem

Hello, I noticed you are making repeated edits to Boolean satisfiability problem that are being reverted. Adding any material without proper references (use the cite button in the editor) is not allowed. Furthermore your edits may constitute original research (WP:OR). Please do not keep editing the page with these edits. If you have any questions or want to understand better why your edits are being reverted, feel free to ask here. Caleb Stanford (talk) 15:15, 9 January 2022 (UTC)

You may also ask at User_talk:Jochen_Burghardt#Revert_of_page_edit. - Jochen Burghardt (talk) 17:56, 13 January 2022 (UTC)