The following pages link to Automated Reasoning (Q5307063):
Displaying 5 items.
- Representing and solving finite-domain constraint problems using systems of polynomials (Q360253) (← links)
- Approximability of clausal constraints (Q970111) (← links)
- Complexity of clausal constraints over chains (Q2480746) (← links)
- Introduction to the Maximum Solution Problem (Q5504706) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)