Satisfiability Algorithm for Syntactic Read-k-times Branching Programs.
- Published in:
- Theory of Computing Systems, 2020, v. 64, n. 8, p. 1392, doi. 10.1007/s00224-020-09996-3
- By:
- Publication type:
- Article
Works matching IS 14324350 AND DT 2020 AND VI 64 AND IP 8
Results: 5
1
2
Multiplication Algorithm Based on Collatz Function.
- Published in:
- Theory of Computing Systems, 2020, v. 64, n. 8, p. 1331, doi. 10.1007/s00224-020-09986-5
- By:
- Publication type:
- Article
3
On Envy-Free Revenue Approximation for Combinatorial Buyers with Budgets.
- Published in:
- Theory of Computing Systems, 2020, v. 64, n. 8, p. 1338, doi. 10.1007/s00224-020-09984-7
- By:
- Publication type:
- Article
4
Dichotomy for Holant∗ Problems on the Boolean Domain.
- Published in:
- Theory of Computing Systems, 2020, v. 64, n. 8, p. 1362, doi. 10.1007/s00224-020-09983-8
- By:
- Publication type:
- Article
5
An Improved FPT Algorithm for Independent Feedback Vertex Set.
- Published in:
- Theory of Computing Systems, 2020, v. 64, n. 8, p. 1317, doi. 10.1007/s00224-020-09973-w
- By:
- Publication type:
- Article