Pages that link to "Item:Q2643307"

The following pages link to Regular-SAT: A many-valued approach to solving combinatorial problems (Q2643307):

Displaying 3 items.

• Constraint-directed search for all-interval series (Q1699523) (← links)
• An algorithm for random signed 3-SAT with intervals (Q2637342) (← links)
• A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)