Skip to main content
DCTLib's user avatar
DCTLib's user avatar
DCTLib's user avatar
DCTLib
  • Member for 11 years, 3 months
  • Last seen this week
Profile Activity
Stats
1,026
reputation
31k
reached
21
answers
7
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
23
bronze badges
Top tags
View all tags
30
Score
19
Posts
68
Posts %
18
Score
8
Posts
29
Posts %
9
Score
3
Posts
11
Posts %
6
Score
5
Posts
18
Posts %
5
Score
3
Posts
11
Posts %
2
Score
1
Posts
4
Posts %
Top posts
View all questions, answers, and articles
20
Cleanest way for conditional code instantiation in C++ template
Jan 4, 2016
19
Python Enums across Modules
Oct 27, 2014
11
Recurrent network (RNN) won't learn a very simple function (plots shown in the question)
Oct 17, 2018
7
CUDD: Manipulation of BDDs
Mar 20, 2019
3
CUDD: Access BDD childs
Dec 8, 2017
2
How can I replace some variables in a BDD by CUDD package？
Feb 24, 2017
2
CUDD package : problems compile and makefile
Mar 9, 2017
2
Unexpected output of Cudd_bddIte
Sep 16, 2018
2
CUDD using not-gate
Dec 31, 2018
2
Generation of Multi-Output BDD
Nov 15, 2019
Top network posts
View all network posts
87
Why is binary search faster than ternary search?
84
Do I have the legal right to demand information on plagiarism of my work from another university?
77
Should I let my professor know that I cited a text written by him....that I pirated from online
76
Why would a company want me to book a flight via a travel agent if it is more expensive?
67
Is it fair that a PhD student should be allowed to review a research paper?