A methodological view of constraint solving

DOI10.1023/A:1009868906501zbMath0949.68040OpenAlexW1537364585MaRDI QIDQ1969731

Hubert Comon, Claude Kirchner, Jean-Pierre Jouannaud, Mehmet Dincbas

Publication date: 19 March 2000

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009868906501

zbMATH Keywords

constraint system

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Automata-driven automated induction

Uses Software

• Oz

This page was built for publication: A methodological view of constraint solving