Pages that link to "Item:Q1153123"
From MaRDI portal
The following pages link to A switching algorithm for the solution of quadratic Boolean equations (Q1153123):
Displaying 8 items.
- A pseudo-Boolean consensus approach to nonlinear 0-1 optimization (Q955309) (← links)
- Uniquely solvable quadratic Boolean equations (Q1070255) (← links)
- LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation (Q1111776) (← links)
- On-line 2-satisfiability (Q1356216) (← links)
- Minimum-delay schedules in layered networks (Q1812948) (← links)
- 2-satisfiability and diagnosing fault processors in massively parallel computing systems (Q1894350) (← links)
- On quadratic Boolean equations (Q1920323) (← links)
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems (Q2641226) (← links)