Pages that link to "Item:Q862408"
From MaRDI portal
The following pages link to Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings (Q862408):
Displayed 7 items.
- Programming for modular reconfigurable robots (Q1758696) (← links)
- Propagation complete encodings of smooth DNNF theories (Q2079276) (← links)
- Automatic generation of redundant models for permutation constraint satisfaction problems (Q2460256) (← links)
- Speeding up the Constraint-Based Method in Difference Logic (Q2818021) (← links)
- PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF (Q3453205) (← links)
- A lower bound on CNF encodings of the at-most-one constraint (Q5915765) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)