Skip to content

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Art competition] Search space pruning #120

Closed
KunJeong opened this issue Nov 30, 2022 · 1 comment
Closed

[Art competition] Search space pruning #120

KunJeong opened this issue Nov 30, 2022 · 1 comment
Labels

Comments

@KunJeong
Copy link

DALL·E 2022-11-30 16 11 31 - thanos snapping his fingers while looking up at a starry night sky, cartoon style

Short Description

For me, [search space pruning] means [thanos snapping his fingers while looking up at a starry night sky, cartoon style]".

Long Description

In a galaxy full of possible candidate programs, it is important to prune those candidates quickly and efficiently. With the snap of his fingers, thanos prunes away half of the universe.. with ten more snaps, we will be able to find a complex program in no time.

@KihongHeo
Copy link
Contributor

What are the optimization criteria of Thanos? Equivalence reduction? or what?

@KihongHeo KihongHeo reopened this May 30, 2024
@prosyslab-classroom prosyslab-classroom locked and limited conversation to collaborators May 30, 2024
@KihongHeo KihongHeo converted this issue into discussion #254 May 30, 2024

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Labels
Projects
None yet
Development

No branches or pull requests

2 participants