Page history

Jump to navigation Jump to search

Boolean Satisfiability Task

27 March 2024

Gmelli
Text replacement - "> ↵" to "> "
m
02:41
−2

18 August 2023

Gmelli
Text replacement - "input" to "Input"
m
05:39

16 June 2021

Gmelli
Text replacement - ". ---- " to ". ---- "
m
22:11
+1

26 February 2021

Gmelli
Text replacement - "** ..." to "** …"
m
23:51

23 February 2021

Gmelli
Text replacement - "). * <B>Counter-" to "). ** ... * <B>Counter-"
m
20:15
+7

22 February 2021

Gmelli
Text replacement - "]]. * <B>Example" to "]]. ** ... * <B>Example"
m
01:55
+7

23 December 2019

14 October 2019

10 October 2018

Gmelli
Text replacement - " ⇒ " to " ⇒ "
m
00:12
−3

1 August 2018

Gmelli
Text replacement - "==References " to "== References "
m
18:03
+1

3 December 2017

Gmelli
Text replacement - "1===" to "1 ==="
m
01:35
+1

8 March 2016

Gmelli
no edit summary
20:21
+46

29 December 2015

Gmelli
Text replacement - "n'' " to "n</i> "
m
21:55
+2

26 December 2015

20 November 2015

Gmelli
Text replacement - " [[" to " [["
m
06:20
−1

4 November 2015

Gmelli
Text replacement - "(that implements a [[" to "(that applies a [["
m
18:40
−3

31 October 2015

18 October 2015

Gmelli
Text replacement - "===201" to "=== 201"
m
06:11
+1

17 May 2015

22 March 2015

Gmelli
Text replacement - " and optimization problem" to " and optimization problem"
m
23:27
+4

17 March 2015

Gmelli
Text replacement - " this problem" to " this problem"
m
15:49
+4

28 January 2015

Gmelli
Text replacement - "put]]</B>:" to "put]]:</B>"
m
13:28

21 September 2014

Gmelli
Text replacement - "<B>AKA</B>:" to "<B>AKA:</B>"
m
04:56

16 September 2014

Gmelli
Text replacement - " <B><U>Context</U>:</B>" to " <B>Context</U>:</B>"
m
01:53
−3

14 September 2014

Gmelli
Text replacement - "<U>See</U>" to "See"
m
08:10
−7

10 September 2014

17 August 2014

MarkAHershberger
Text replacement - "<B><U>AKA</U>:</B>" to "<U>AKA</U>:"
m
20:45
−7

1 June 2014

27 February 2014

29 April 2012

Gmelli
no edit summary
03:02
+2,944

Retrieved from "http://www.gabormelli.com/RKB/Special:History/Boolean_Satisfiability_Task"