%0 Conference Paper %1 conf/cp/GillardSD19 %A Gillard, Xavier %A Schaus, Pierre %A Deville, Yves %B CP %D 2019 %E Schiex, Thomas %E de Givry, Simon %I Springer %K dblp %P 565-582 %T SolverCheck: Declarative Testing of Constraints. %U http://dblp.uni-trier.de/db/conf/cp/cp2019.html#GillardSD19 %V 11802 %@ 978-3-030-30048-7

@inproceedings{conf/cp/GillardSD19, added-at = {2022-10-02T00:00:00.000+0200}, author = {Gillard, Xavier and Schaus, Pierre and Deville, Yves}, biburl = {https://www.bibsonomy.org/bibtex/231d4d6efe727765a797737eb9695cc4b/dblp}, booktitle = {CP}, crossref = {conf/cp/2019}, editor = {Schiex, Thomas and de Givry, Simon}, ee = {https://doi.org/10.1007/978-3-030-30048-7_33}, interhash = {c15823387f71448cc96e24935dcf7a0f}, intrahash = {31d4d6efe727765a797737eb9695cc4b}, isbn = {978-3-030-30048-7}, keywords = {dblp}, pages = {565-582}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:20:53.000+0200}, title = {SolverCheck: Declarative Testing of Constraints.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2019.html#GillardSD19}, volume = 11802, year = 2019 }