no code implementations • 17 Dec 2023 • Dimos Tsouros, Senne Berden, Tias Guns
However, a large number of queries is still required to learn the model, which is a major limitation.
no code implementations • 3 Aug 2023 • Dimos Tsouros, Hélène Verhaeghe, Serdar Kadıoğlu, Tias Guns
Twenty-seven years ago, E. Freuder highlighted that "Constraint programming represents one of the closest approaches computer science has yet made to the Holy Grail of programming: the user states the problem, the computer solves it".
1 code implementation • 12 Jul 2023 • Dimos Tsouros, Senne Berden, Tias Guns
Second, we propose a probability-based method to guide query generation and show that it can significantly reduce the number of queries required to converge.