@inproceedings {43261,
	title = {Active Disjunctive Constraint Acquisition},
	journal = {Knowledge Representation (KR), Research Track, Rhodes, Greece, September 2-8},
	year = {2023},
	author = {Menguy, Gr{\'e}goire and Bardin, Sebastien and Lazaar, Nadjib and Gotlieb, Arnaud}
}
@inproceedings {42448,
	title = {Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition},
	journal = {31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 22)},
	year = {2022},
	publisher = {IJCAI},
	author = {Menguy, Gr{\'e}goire and Bardin, Sebastien and Lazaar, Nadjib and Gotlieb, Arnaud}
}
