FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Extended Abstract: Constraint Acquisition Based on Solution Counting

Authors: Christopher Coulombe and Claude-Guy Quimper

Paper Information

Title:Extended Abstract: Constraint Acquisition Based on Solution Counting
Authors:Christopher Coulombe and Claude-Guy Quimper
Proceedings:dpcp22 Doctoral Program Papers
Editor: Hélène Verhaeghe
Keywords:Constraint acquisition, CSP, Model counting, Solution counting
Pages:3
Talk:Aug 01 17:23 (Session 37R: Doctoral Program)
Paper: