Work

Effective Encodings of Constraint Programming Models to SMT

Year: 2020

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-58475-7_9

Authors: Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale

Institutions: University of St Andrews, University of York

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Engineering and Physical Sciences Research Council

Award: A Constraint Modelling Pipeline

OpenAlex ID: W3083367323

FWCI: 0.398

Cites: 25

Cited by: 8

Related to: 10