Sign in

Proof Logging for Smart Extensional Constraints.

Matthew J. McIlreeCiaran McCreesh
Published in: CP (2023)
Keyphrases
  • constraint satisfaction
  • genetic algorithm
  • website
  • global constraints
  • data sets
  • linear logic