[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: The effect of symmetry sets on TLC performance
From
: Ron Pressler <
r...@xxxxxxxxxxxxxxxxxxx
>
Date
: Thu, 3 Dec 2015 07:21:13 -0800 (PST)
References
: <
feb1173e-380c-4cb1-80ac-a5d8edf1c108@googlegroups.com
> <
0d9ae6b0-f5f1-4159-a933-32921111ab3d@googlegroups.com
> <
c7f7df3e-118a-42e1-aca4-e7a47dced84c@googlegroups.com
> <
82111398-b195-40c1-8926-59e179145fa6@googlegroups.com
> <
f283857c-31a1-4d9b-b22a-c39fd47f0c44@googlegroups.com
> <
4c9e536c-f18f-4b99-adad-7ffa3a4b38aa@googlegroups.com
>
On Thursday, December 3, 2015 at 5:16:56 PM UTC+2, Ron Pressler wrote:
Now introduce a constant, Map, which maps the set to {x, y, z} in any arbitrary way.
By "any arbitrary way" I mean any arbitrary bijection, of course.
Follow-Ups
:
Re: [tlaplus] The effect of symmetry sets on TLC performance
From:
Michael Leuschel
References
:
The effect of symmetry sets on TLC performance
From:
Ron Pressler
Re: The effect of symmetry sets on TLC performance
From:
Ron Pressler
Re: The effect of symmetry sets on TLC performance
From:
Leslie Lamport
Re: The effect of symmetry sets on TLC performance
From:
Ron Pressler
Re: The effect of symmetry sets on TLC performance
From:
Leslie Lamport
Re: The effect of symmetry sets on TLC performance
From:
Ron Pressler
Prev by Date:
Re: The effect of symmetry sets on TLC performance
Next by Date:
Re: [tlaplus] The effect of symmetry sets on TLC performance
Previous by thread:
Re: The effect of symmetry sets on TLC performance
Next by thread:
Re: [tlaplus] The effect of symmetry sets on TLC performance
Index(es):
Date
Thread