The following pages link to (Q4553283):
Displaying 5 items.
- Tight representation of logical constraints as cardinality rules (Q1300274) (← links)
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT (Q2817912) (← links)
- (Q4790668) (← links)
- Non-classical logics in satisfiability modulo theories (Q6541143) (← links)
- On the convexity of a fragment of pure set theory with applications within a Nelson-Oppen framework (Q6649524) (← links)