An algorithm for random signed 3-SAT with intervals

Kathrin Ballerstein, Dirk Oliver Theis. An algorithm for random signed 3-SAT with intervals. Theoretical Computer Science, 524:1-26, 2014. [doi]

Authors

Kathrin Ballerstein

This author has not been identified. Look up 'Kathrin Ballerstein' in Google

Dirk Oliver Theis

This author has not been identified. Look up 'Dirk Oliver Theis' in Google