Jump to content

User contributions for Paul.w.goldberg

A user with 83 edits. Account created on 30 October 2009.
Search for contributionsshowhide
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

10 September 2024

8 January 2020

  • 09:4709:47, 8 January 2020 diff hist +74 m SNP (complexity) I added a clause to the specification of 3-colorability stipulating that any vertex must satisfy at least one of the 3 predicates. This is needed in order to avoid any graph being trivially satisfied by predicates that always evaluate to false.

10 January 2019

8 January 2019

24 March 2013

22 March 2013

24 February 2013

21 January 2013

20 January 2013

5 October 2012

8 July 2010

22 December 2009

21 December 2009

20 December 2009

19 December 2009

11 December 2009

2 November 2009

31 October 2009

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)