Pages that link to "Item:Q1749535"

The following pages link to Finding read-once resolution refutations in systems of 2CNF clauses (Q1749535):

Displaying 1 item.

• A polynomial time algorithm for read-once certification of linear infeasibility in UTVPI constraints (Q2415363) (← links)