Theoretical Computer Science
Jxb's user avatar
Jxb's user avatar
Jxb's user avatar
Jxb
  • Member for 1 year, 8 months
  • Last seen this week
  • Hong Kong
Profile Activity
Stats
315
reputation
1k
reached
1
answer
7
questions
Communities
View all
About

a student.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
2
Score
4
Posts
50
Posts %
0
Score
6
Posts
75
Posts %
0
Score
5
Posts
62
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
question
7
What kind of resolution is CDCL corresponding to?
Aug 1
question
5
Can CDCL Algorithm Derived Conflict Clauses Always Be Obtained Through Resolution from an Unsatisfiable CNF Formula?
Nov 27
question
4
Methods for Determining the minimal Width of Resolution Refutations for CNF Formulas
Sep 4
question
3
What is the treewidth of the 3D-grid (mesh or lattice) with sidelength n?
Jul 4
answer
2
Direct Proof that the Pigeonhole Principle is Hard for Regular Resolution
Apr 20
question
0
What's the connection between branchwidth and treewidth
Mar 4
question
0
When the tree-like resolution size is the same with general(regular) resolution size？
Apr 19
question
-1
corresponding resoving and arbitary resolving
Nov 28
Top network posts
View all network posts
9
Why rectangle packing is NP-hard but maybe not in NP?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.