A Certified Constraint Solver over Finite Domains

DOI10.1007/978-3-642-32759-9_12zbMath1372.68165OpenAlexW159501737MaRDI QIDQ4647836

Catherine Dubois, Matthieu Carlier, Arnaud Gotlieb

Publication date: 8 November 2012

Published in: FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32759-9_12

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Coq
• OCaml
• FocalTest

This page was built for publication: A Certified Constraint Solver over Finite Domains