Pages that link to "Item:Q3192080"
From MaRDI portal
The following pages link to Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions (Q3192080):
Displaying 9 items.
- Structured learning modulo theories (Q511777) (← links)
- Optimization modulo the theories of signed bit-vectors and floating-point numbers (Q2051569) (← links)
- Learning modulo theories for constructive preference elicitation (Q2238637) (← links)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246) (← links)
- Optimization modulo the theory of floating-point numbers (Q2305439) (← links)
- Extended Nested Dual System Groups, Revisited (Q2798774) (← links)
- Delegatable Functional Signatures (Q2798783) (← links)
- Speeding up the Constraint-Based Method in Difference Logic (Q2818021) (← links)
- Proving Termination Through Conditional Termination (Q3303892) (← links)
