Constraint satisfaction problem: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 23:1123:11, 26 March 2024‎ Davemck talk contribs‎ m 22,293 bytes +21‎ Clean up duplicate template arguments using findargdups; fix ref error undo
curprev 21:3821:38, 26 March 2024‎ A3nm talk contribs‎ 22,272 bytes +36‎ →‎Decision problems: fix template undo Tag: 2017 wikitext editor
curprev 21:3621:36, 26 March 2024‎ A3nm talk contribs‎ 22,236 bytes +466‎ →‎Decision problems: +feder-vardi conjecture undo Tag: 2017 wikitext editor

curprev 20:1820:18, 3 February 2024‎ Hkfscp11 talk contribs‎ m 21,770 bytes −1‎ No edit summary undo

curprev 21:5721:57, 16 January 2024‎ David Eppstein talk contribs‎ 21,771 bytes +18‎ Michela Milano undo

curprev 11:2511:25, 27 December 2023‎ Citation bot talk contribs‎ 21,753 bytes +2‎ Alter: pages. Formatted dashes. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 17:3017:30, 27 November 2023‎ OAbot talk contribs‎ m 21,751 bytes +21‎ Open access bot: arxiv updated in citation with #oabot. undo

curprev 08:1408:14, 20 November 2023‎ 92.184.117.55 talk‎ 21,730 bytes −3‎ Fixed typo in biblography. undo
curprev 08:1308:13, 20 November 2023‎ 92.184.117.55 talk‎ 21,733 bytes 0‎ No edit summary undo
curprev 08:0908:09, 20 November 2023‎ 92.184.117.55 talk‎ 21,733 bytes 0‎ Updated the "Decision problem" section with references to the proof of the dichotomy conjecture (which, as of 2017, is no longer a conjecture). Removed the related "outdated" tag. undo
curprev 08:0708:07, 20 November 2023‎ 92.184.117.55 talk‎ 21,733 bytes +582‎ No edit summary undo

curprev 07:4307:43, 27 October 2023‎ ClueBot NG talk contribs‎ m 21,151 bytes +15,249‎ Reverting possible vandalism by Eirikkiki to version by InternetArchiveBot. Report False Positive? Thanks, ClueBot NG. (4278342) (Bot) undo Tag: Rollback
curprev 07:4307:43, 27 October 2023‎ Eirikkiki talk contribs‎ 5,902 bytes −15,249‎ No edit summary undo Tags: Reverted blanking Visual edit Newcomer task Newcomer task: update

curprev 21:4621:46, 25 October 2023‎ InternetArchiveBot talk contribs‎ 21,151 bytes +141‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5) (AManWithNoPlan - 15895 undo

curprev 21:3621:36, 11 October 2023‎ 2a02:1812:110c:dc00:8ddc:ceda:1411:2437 talk‎ 21,010 bytes +5‎ No edit summary undo

curprev 19:3019:30, 25 August 2023‎ Jarble talk contribs‎ 21,005 bytes +39‎ adding Template:Industrial and applied mathematics undo

curprev 08:4108:41, 1 August 2023‎ T.seppelt talk contribs‎ 20,966 bytes +29‎ →‎Decision problems: the dichotomy conjecture was proven undo

curprev 21:3021:30, 19 July 2023‎ HeyElliott talk contribs‎ m 20,937 bytes −2‎ MOS:CQ undo Tag: 2017 wikitext editor

curprev 19:2219:22, 18 May 2023‎ 2a02:a319:8242:100:d19:285b:58c3:fadf talk‎ 20,939 bytes −2‎ →‎Formal definition undo

curprev 15:3115:31, 4 April 2023‎ Cheater no1 talk contribs‎ m 20,941 bytes +19‎ →‎Dynamic CSPs: link to Oracle machine undo Tag: Visual edit

curprev 15:2415:24, 16 March 2023‎ Anderjef talk contribs‎ 20,922 bytes +69‎ Adding local short description: "Set of objects whose state must satisfy limits", overriding Wikidata description "mathematical problems defined as a set of objects whose state must satisfy a number of constraints or limitations" undo Tag: Shortdesc helper

curprev 11:1711:17, 22 December 2022‎ Twotwos talk contribs‎ 20,853 bytes −1‎ Undid revision 1119215750 by 61.1.124.18 (talk) (remove an extra slash, and I'm quite certain this set of articles is correct) undo Tag: Undo

curprev 19:4919:49, 10 November 2022‎ Citation bot talk contribs‎ 20,854 bytes +16‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 14:4314:43, 9 November 2022‎ DavidGries talk contribs‎ 20,838 bytes +31‎ →‎Further reading: added author link for "Krzysztof R. Apt" undo

curprev 08:5208:52, 31 October 2022‎ 61.1.124.18 talk‎ 20,807 bytes +1‎ /a the undo Tags: Reverted Visual edit

curprev 05:1605:16, 4 August 2022‎ Headbomb talk contribs‎ m 20,806 bytes 0‎ clean up, replaced: Forty-f → Forty-F undo Tag: AWB

curprev 03:3503:35, 21 May 2022‎ Citation bot talk contribs‎ 20,806 bytes +21‎ Add: isbn. | Use this bot. Report bugs. | Suggested by Lightlowemon | Linked from User:Lightlowemon/sandbox | #UCB_webform_linked 71/381 undo

curprev 16:4016:40, 26 February 2022‎ Jadzia2341 talk contribs‎ 20,785 bytes +209‎ Adding additional example undo

curprev 00:0700:07, 4 October 2021‎ Coastside talk contribs‎ 20,576 bytes +35‎ →‎Decision problems: fixed dab link undo

curprev 02:4902:49, 8 September 2021‎ Michael Hardy talk contribs‎ 20,541 bytes −41‎ →‎See also undo
curprev 02:4802:48, 8 September 2021‎ Michael Hardy talk contribs‎ 20,582 bytes −23‎ No edit summary undo

curprev 00:3100:31, 26 August 2021‎ William Avery Bot talk contribs‎ m 20,605 bytes −125‎ Dead URLs removed where ref contains free alternative (×1). See BRFA undo

curprev 21:0521:05, 14 July 2021‎ Hellacioussatyr talk contribs‎ 20,730 bytes +1‎ →‎Formal definition: <dl> not appropriate here undo Tag: 2017 wikitext editor

curprev 17:1117:11, 5 July 2021‎ OAbot talk contribs‎ m 20,729 bytes +19‎ Open access bot: doi added to citation with #oabot. undo

curprev 15:0015:00, 16 June 2021‎ Sietse Snel talk contribs‎ m 20,710 bytes +6‎ →‎Function problems: fix citation type undo

curprev 16:0616:06, 12 May 2021‎ 202.86.130.70 talk‎ 20,704 bytes −2‎ →‎Resolution undo

curprev 13:4813:48, 8 May 2021‎ 193.157.236.104 talk‎ 20,706 bytes −8‎ No edit summary undo

curprev 14:5714:57, 30 April 2021‎ GreenC bot talk contribs‎ 20,714 bytes +43‎ Rescued 1 archive link. Wayback Medic 2.5 undo

curprev 05:2705:27, 19 March 2021‎ WikiCleanerBot talk contribs‎ m 20,671 bytes 0‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 19:2819:28, 6 March 2021‎ 84.217.102.11 talk‎ 20,671 bytes +290‎ No edit summary undo

curprev 12:5712:57, 1 February 2021‎ Aclassifier talk contribs‎ 20,381 bytes −1‎ Put it after More citations needed –~~~~ undo
curprev 12:5512:55, 1 February 2021‎ Aclassifier talk contribs‎ m 20,382 bytes 0‎ MUsed the non-underscore name of "Communicating sequential processes" –~~~~ undo
curprev 12:5412:54, 1 February 2021‎ Aclassifier talk contribs‎ m 20,382 bytes +51‎ Hopefully added the distinction with "Communicating_sequential_processes" (CSP) correctly –~~~~ undo

curprev 20:1020:10, 19 January 2021‎ MrOllie talk contribs‎ 20,331 bytes −101‎ Reverted to revision 993157126 by 172.76.79.158 (talk): Doesn't belong in the lead section undo Tags: Twinkle Undo

curprev 10:3210:32, 5 January 2021‎ Aclassifier talk contribs‎ m 20,432 bytes +101‎ The "CSP" abbreviation is also used in another computer related field. This is referred to as "Do not confuse with.." –~~~~ undo Tag: Reverted

curprev 02:2302:23, 9 December 2020‎ 172.76.79.158 talk‎ 20,331 bytes −3‎ Fixed an awkwardly worded sentence. undo

curprev 18:1118:11, 5 December 2020‎ Monkbot talk contribs‎ m 20,334 bytes −125‎ Task 18 (cosmetic): eval 16 templates: del empty params (12×); hyphenate params (2×); undo Tag: AWB

curprev 03:3203:32, 26 November 2020‎ Citation bot talk contribs‎ 20,459 bytes +4‎ Alter: url. URLs might have been internationalized/anonymized. Add: s2cid, author pars. 1-1. Removed parameters. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked 1125/3704 undo

curprev 12:3012:30, 15 October 2020‎ WikiCleanerBot talk contribs‎ m 20,455 bytes 0‎ v2.03b - Bot T20 CW#61 - WP:WCW project (Reference before punctuation) undo Tag: WPCleaner

curprev 23:5923:59, 12 September 2020‎ Jarble talk contribs‎ 20,455 bytes +430‎ Type inference has also been modeled as a constraint satisfaction problem. undo

26 March 2024

3 February 2024

16 January 2024

27 December 2023

27 November 2023

20 November 2023

27 October 2023

25 October 2023

11 October 2023

25 August 2023

1 August 2023

19 July 2023

18 May 2023

4 April 2023

16 March 2023

22 December 2022

10 November 2022

9 November 2022

31 October 2022

4 August 2022

21 May 2022

26 February 2022

4 October 2021

8 September 2021

26 August 2021

14 July 2021

5 July 2021

16 June 2021

12 May 2021

8 May 2021

30 April 2021

19 March 2021

6 March 2021

1 February 2021

19 January 2021

5 January 2021

9 December 2020

5 December 2020

26 November 2020

15 October 2020

12 September 2020