User juaninf

4 votes

1 answer

99 views

What are predicates of a sentence?

asked Feb 25, 2016 at 15:05

3 votes

1 answer

388 views

The language of Logical Theory as Metalanguage

asked Feb 27, 2016 at 9:13

3 votes

1 answer

135 views

What does a square mean in a Boolean formula

asked Sep 26, 2015 at 15:34

2 votes

1 answer

94 views

Measuring the hardness of SAT instances Lemma

asked Sep 27, 2015 at 11:58

2 votes

1 answer

75 views

The Space of an Unsatisfiable Formula

asked Sep 29, 2015 at 14:22

2 votes

1 answer

114 views

Conflict Driven Clause Learning combined with brute force

asked Feb 19, 2016 at 21:12

2 votes

1 answer

1k views

Size of Propositional Formula

asked Oct 16, 2015 at 14:12

2 votes

1 answer

136 views

Non-deterministic algorithms and Tautologies

asked Oct 17, 2015 at 13:49

2 votes

1 answer

69 views

What's non-algorithm-specific

asked Dec 12, 2015 at 16:14

1 vote

0 answers

180 views

Compressed row storage: What happens if last row is all zeros? [closed]

asked Jan 7, 2016 at 18:24

1 vote

0 answers

80 views

Complexity Measure and Practical Hardness of SAT

asked Jan 18, 2016 at 8:09

1 vote

0 answers

33 views

Heuristic Arguments against Existence of very inefficient alogirthm for SAT

asked Feb 13, 2016 at 18:19

1 vote

1 answer

39 views

Strahler of tree like refutations

asked Oct 12, 2015 at 20:26

1 vote

0 answers

47 views

How to get all tree-like refutations of a formula

asked Sep 27, 2015 at 17:48

1 vote

1 answer

4k views

Why is SAT not in P? [duplicate]

asked Nov 7, 2013 at 23:50

1 vote

1 answer

4k views

PSPACE and NP complexity

asked Dec 6, 2013 at 11:53

1 vote

1 answer

140 views

DNA Computing Algorithm to solve the Hamiltonian problem [closed]

asked Dec 6, 2013 at 21:28

1 vote

1 answer

11k views

Model marbel toy with finite automata

asked Jun 4, 2014 at 14:35

1 vote

0 answers

19 views

Simplification of $\log_2(1-l)/\log_2(1-2^{nH(m/n)-n})$

asked Apr 22, 2018 at 12:01

0 votes

0 answers

185 views

Sorting binary string in colex order

asked Jun 10, 2018 at 2:49

0 votes

0 answers

128 views

Step by step of a modification of the Beame-Pitassi Algorithm

asked Oct 15, 2015 at 19:42

0 votes

0 answers

93 views

Simplification of Sum of Hamming Weight Sets

asked Apr 15, 2018 at 19:36

-1 votes

1 answer

100 views

Why does a satisfiable formula have a model?

asked Mar 7, 2016 at 0:50

-1 votes

1 answer

72 views

Decision Problem Algorithm

asked Dec 5, 2013 at 17:42

Stack Exchange Network

24 Questions

What are predicates of a sentence?

The language of Logical Theory as Metalanguage

What does a square mean in a Boolean formula

Measuring the hardness of SAT instances Lemma

The Space of an Unsatisfiable Formula

Conflict Driven Clause Learning combined with brute force

Size of Propositional Formula

Non-deterministic algorithms and Tautologies

What's non-algorithm-specific

Compressed row storage: What happens if last row is all zeros? [closed]

Complexity Measure and Practical Hardness of SAT

Heuristic Arguments against Existence of very inefficient alogirthm for SAT

Strahler of tree like refutations

How to get all tree-like refutations of a formula

Why is SAT not in P? [duplicate]

PSPACE and NP complexity

DNA Computing Algorithm to solve the Hamiltonian problem [closed]

Model marbel toy with finite automata

Simplification of $\log_2(1-l)/\log_2(1-2^{nH(m/n)-n})$

Sorting binary string in colex order

Step by step of a modification of the Beame-Pitassi Algorithm

Simplification of Sum of Hamming Weight Sets

Why does a satisfiable formula have a model?

Decision Problem Algorithm