Article detail

Authors: Cristiá, Maximiliano; Rossi, Gianfranco.

Title: Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations.

articulo_publicacion: JOURNAL OF AUTOMATED REASONING.

Editorial: SPRINGER.

Editing place: Berlin.

Publishing country: Alemania.

Reference type: Con Referato.

It's published?: No

ISSN: 0168-7433.

Web page: Link