Mohammad Ehsanul Hoque
Bangladesh University of Engineering & Technology
Followers: 0 Following: 0
I am an undergraduate student.
Statistics
RANK
2,276
of 292,883
REPUTATION
26
CONTRIBUTIONS
3 Questions
1 Answer
ANSWER ACCEPTANCE
33.33%
VOTES RECEIVED
15
RANK
of 19,958
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 148,094
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Feeds
Question
How to solve CNF encodings for satisfiability problem?
Suppose these are the four clauses. A,B,C,D are boolean. All the clauses will be in conjuction. Is there any solver to che...
4 years ago | 0 answers | 0
0
answersQuestion
How can verify a neural network using SMT/ILP/SAT solvers?
Suppose I have a trained network consisting of a fully connected layer and relu activation. How can use the trained weights to v...
4 years ago | 0 answers | 0
0
answersWhat is the code for lagrange interpolating polynomial for a set of given data?
After 3 days i have found the answer myself. The poly function takes arguments as roots of a polynomial. Like if x-2=0 is the eq...
8 years ago | 11
| accepted
Question
What is the code for lagrange interpolating polynomial for a set of given data?
I have tried this code. My teacher recommended to use poly and conv function. But I dont get the point of using unknown 'x' in ...
8 years ago | 8 answers | 4