Network profile

Burak

Reputation

151

151
86
21

2017
2018
2019
2020

Top tag

first-order-logic

Next privilege

250 Rep.

View close votes

Badges

2

Newest

Autobiographer

Next badge

0/1

Impact

0 posts edited

0 helpful flags

0 votes cast

Questions (2)

Votes Activity Newest

4	What is the difference between superposition and paramodulation?
1	Virtualization: overcommitment and vCPU scheduling

Reputation (151)

This user has no recent positive reputation changes

Answers (0)

Votes Activity Newest

This user has not answered any questions

Tags (3)

0 first-order-logic	0 scheduling
0 automated-theorem-proving

Bookmarks (1)

Votes Activity Newest Views Added

4	What is the difference between superposition and paramodulation?

Accounts (10)

	TeX - LaTeX	371 rep	2 silver badges9 bronze badges
	Stack Overflow	333 rep	1 gold badge3 silver badges12 bronze badges
	Cryptography	173 rep	7 bronze badges
	Theoretical Computer Science	161 rep	2 bronze badges
	Computer Science	151 rep	2 bronze badges

Badges (2)

Recent Class Name

Autobiographer

Student

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast (0)

This user has not cast any votes

Computer Science Stack Exchange works best with JavaScript enabled