Pages that link to "Item:Q1070255"

The following pages link to Uniquely solvable quadratic Boolean equations (Q1070255):

Displaying 9 items.

• On 2-QBF truth testing in parallel (Q672737) (← links)
• Unique Horn renaming and Unique 2-Satisfiability (Q673674) (← links)
• A decomposition method for minimizing quadratic pseudo-Boolean functions (Q1118533) (← links)
• A linear time algorithm for unique Horn satisfiability (Q1313762) (← links)
• The unique Horn-satisfiability problem and quadratic Boolean equations. (Q1353999) (← links)
• 2-satisfiability and diagnosing fault processors in massively parallel computing systems (Q1894350) (← links)
• On quadratic Boolean equations (Q1920323) (← links)
• Counting the number of solutions for instances of satisfiability (Q2277848) (← links)
• A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities (Q3730348) (← links)