Pages that link to "Item:Q2889734"
From MaRDI portal
The following pages link to On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a part of variables (Q2889734):
Displaying 4 items.
- Solution of systems of Boolean equations via the integer domain (Q845342) (← links)
- Solving non-linear Boolean equation systems by variable elimination (Q2032298) (← links)
- On the efficiency of solving Boolean polynomial systems with the characteristic set method (Q2211189) (← links)
- On the complexity of the sequential sampling method (Q6648361) (← links)