Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/ccia/Giraldez-CruLM17
@inproceedings{DBLP:conf/ccia/Giraldez-CruLM17, author = {Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and Jimmy H. M. Lee and Pedro Meseguer}, editor = {Isabel Aguil{\'{o}} and Ren{\'{e}} Alqu{\'{e}}zar and Cecilio Angulo and Alberto Ortiz and Joan Torrens}, title = {Iterative {AWC} for Distributed {SAT}}, booktitle = {Recent Advances in Artificial Intelligence Research and Development - Proceedings of the 20th International Conference of the Catalan Association for Artificial Intelligence, Deltebre, Terres de l'Ebre, Spain, October 25-27, 2017}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {300}, pages = {56--65}, publisher = {{IOS} Press}, year = {2017}, url = {https://doi.org/10.3233/978-1-61499-806-8-56}, doi = {10.3233/978-1-61499-806-8-56}, timestamp = {Fri, 18 Mar 2022 10:19:55 +0100}, biburl = {https://dblp.org/rec/conf/ccia/Giraldez-CruLM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.