Constraint Logic Programming

By Marco Gavanelli, Francesca Rossi. 25 Years GULP, 2010

482 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/6a6a07e1607d3cb375c264505b858f58679e01f6

Citations in the corpus

• Automated reasoning (2013, unknown): “There are also community, can be found in [91]. new sorts and solvers.”