Related changes

Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

List of abbreviations (help):

D: Edit made at Wikidata
r: Edit flagged by ORES
N: New page
m: Minor edit
b: Bot edit
(±123): Page byte size change
: Temporarily watched page

3 July 2025

Page curation log 21:05 Pppery talk contribs marked the article XOR-SAT as reviewed Tag: PageTriage
diffhist MAX-3SAT 10:00 +8 Kylras talk contribs (Link suggestions feature: 2 links added.) Tags: Visual edit Newcomer task Suggested: add links
diffhist SAT solver 09:31 +486 Fschwarzentruber talk contribs (→Applications) Tag: Visual edit
diffhist m SAT solver 01:25 +1 Jonathan Frech talk contribs

1 July 2025

diffhist Conflict-driven clause learning 22:21 +99 87.214.42.62 talk (→Completeness: Added explanantion for soundness and completeness.)
diffhist XOR-SAT 16:17 +7,450 Ftiercel talk contribs (Add references; this is not an article creation, it's a split from Boolean satisfiability problem) Tag: Removed redirect