Please help support CiteULike by taking part in our marketing survey.

beete's profile

About me

Username:	beete
Name:	Not specified
Job title:	Not specified
Affiliation:	Not specified
Web page:	Not specified
Joined:	2008-02-28

What I do

Not specified

Interests

Not specified

Recent Activity

2009-10-30

14:49: posted March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver
14:19: posted Simple, fast, and practical non-blocking and blocking concurrent queue algorithms