Jump to content

Related changes

← DPLL algorithm

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.

Recent changes optionsShow last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide unregistered users | Hide my edits | Show bots | Hide minor edits | Show page categorization | Show Wikidata | Hide probably good edits
Show new changes starting from 22:55, 25 May 2025

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

25 May 2025

diffhist m Hilary Putnam 12:47 +32 BardRapt talk contribs (→Machine state functionalism: J. B. Davis)

24 May 2025

diffhist Computer science 20:28 +437 Ngriffeth talk contribs (→Computer networks: added some detail describing the subject and a reference)
diffhist Computer science 20:22 +11 Ngriffeth talk contribs (→Computational science, finance and engineering)
diffhist Computer science 20:20 +22 Ngriffeth talk contribs (→Computational science, finance and engineering: added computational biology)
diffhist m Logic 15:05 −4 Remsense talk contribs (Reverted 1 edit by Quality Sign (talk) to last revision by Phlsph7) Tags: Twinkle Undo
diffhist Logic 14:47 +4 Quality Sign talk contribs Tag: Reverted

23 May 2025

diffhist Computer science 13:47 +25 Vinizex94 talk contribs (→Programming paradigms)

22 May 2025

diffhist Martin Davis (mathematician) 19:52 −24 Jochen Burghardt talk contribs (Undid revision 1291650358 by 2601:581:8501:6080:FCFC:BB41:6E42:781E: afaik, no redlinks are allowed in infoboxes) Tag: Undo
diffhist Martin Davis (mathematician) 15:30 +24 2601:581:8501:6080:fcfc:bb41:6e42:781e talk Tag: Reverted
diffhist Binary tree 12:04 −8 WikiEdita65 talk contribs (Updated section issue)

20 May 2025

diffhist Boolean satisfiability problem 17:15 +5,864 Jochen Burghardt talk contribs (Undid revision 1291344127 by Ftiercel (talk): split should at least be discussed before; imo, the 2nd half of the 1st split-off paragraph must remain here, anyway (as it is about the relation of xor-sat, 1-in-3-sat, and 3-sat), so the new article will be pretty short) Tag: Undo
diffhist Boolean satisfiability problem 16:37 −5,864 Ftiercel talk contribs (Split to XOR-SAT) Tag: Reverted

Retrieved from "https://en.wikipedia.org/wiki/Special:RecentChangesLinked/DPLL_algorithm"