Effective encodings of constraint programming models to SMT

Ewan Davidson, Ozgur Akgun, Joan Espasa Arxer, Peter Nightingale

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
1 Downloads (Pure)

Search results