Jump to content

User contributions for Golden heart

For Golden heart talk block log uploads logs global account filter log
A user with 2 edits. Account created on 21 June 2011.
Search for contributionsshowhide
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View (newer 500 | ) (20 | 50 | 100 | 250 | 500)

17 May 2024

  • 04:4004:40, 17 May 2024 diff hist −13‎ Conflict-driven clause learning ‎ It's absurd to put the "unsatisfied" here, because if the clause is really "unsatisfied", then we need force the free literal to be true, we must force it to be false in order to keep the clause "unsatisfied", so this description has serious error. current
(newest | oldest) View (newer 500 | ) (20 | 50 | 100 | 250 | 500)
Retrieved from "https://en.wikipedia.org/wiki/Special:Contributions/Golden_heart"