An upper bound O(2<sup>0.16254n</sup>) for exact 3-satisfiability: a simpler proof.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 126, n. 3, p. 1195, doi. 10.1007/s10958-005-0096-0
- By:
- Publication type:
- Article
Works matching IS 10723374 AND DT 2005 AND VI 126 AND IP 3
Results: 9
1
2
Solution lifting method for handling meta-variables in th?orem?
- Published in:
- Journal of Mathematical Sciences, 2005, v. 126, n. 3, p. 1182, doi. 10.1007/s10958-005-0090-6
- By:
- Publication type:
- Article
3
Blocks ink-connected graphs.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 126, n. 3, p. 1167, doi. 10.1007/s10958-005-0084-4
- By:
- Publication type:
- Article
4
On non-Abelian homomorphic public-key cryptosystems.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 126, n. 3, p. 1158, doi. 10.1007/s10958-005-0077-3
- By:
- Publication type:
- Article
5
Public-key cryptography and invariant theory.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 126, n. 3, p. 1152, doi. 10.1007/s10958-005-0068-4
- By:
- Publication type:
- Article
6
Systems of pairs ofq-distant representatives, and graph colorings.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 126, n. 3, p. 1141, doi. 10.1007/s10958-005-0059-5
- By:
- Publication type:
- Article
7
Invertible infinitary calculus without loop rules for restricted FTL.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 126, n. 3, p. 1210, doi. 10.1007/s10958-005-0109-z
- By:
- Publication type:
- Article
8
Hard satisfiable instances for DPLL-type algorithms.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 126, n. 3, p. 1205, doi. 10.1007/s10958-005-0105-3
- By:
- Publication type:
- Article
9
A 2<sup>|E|/4</sup>-time algorithm for max-cut.
- Published in:
- Journal of Mathematical Sciences, 2005, v. 126, n. 3, p. 1200, doi. 10.1007/s10958-005-0101-7
- By:
- Publication type:
- Article