Pages that link to "Item:Q2009609"
From MaRDI portal
The following pages link to Alloy*: a general-purpose higher-order relational constraint solver (Q2009609):
Displaying 5 items.
- Alloy*: a general-purpose higher-order relational constraint solver (Q2009609) (← links)
- Combining model finder and genetic programming into a general purpose automatic program synthesizer (Q2011033) (← links)
- CompoSAT: specification-guided coverage for model finding (Q2024373) (← links)
- Special issue on syntax-guided synthesis preface (Q2149966) (← links)
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (Q2360872) (← links)
