%0 Conference Paper %1 conf/stairs/Giraldez-CruMM16 %A Giráldez-Cru, Jesús %A Martín-Sánchez, Guillermo %A Meseguer, Pedro %B STAIRS %D 2016 %E Pearce, David %E Pinto, Helena Sofia %I IOS Press %K dblp %P 179-184 %T Connecting ABT with a SAT Solver. %U http://dblp.uni-trier.de/db/conf/stairs/stairs2016.html#Giraldez-CruMM16 %V 284 %@ 978-1-61499-682-8

@inproceedings{conf/stairs/Giraldez-CruMM16, added-at = {2022-10-02T00:00:00.000+0200}, author = {Giráldez-Cru, Jesús and Martín-Sánchez, Guillermo and Meseguer, Pedro}, biburl = {https://www.bibsonomy.org/bibtex/2b6d24361c76e39a014a8f449b9f93af0/dblp}, booktitle = {STAIRS}, crossref = {conf/stairs/2016}, editor = {Pearce, David and Pinto, Helena Sofia}, ee = {https://doi.org/10.3233/978-1-61499-682-8-179}, interhash = {d0f594dc0067aad4fbcfdafdb41d3ccc}, intrahash = {b6d24361c76e39a014a8f449b9f93af0}, isbn = {978-1-61499-682-8}, keywords = {dblp}, pages = {179-184}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-10T08:41:22.000+0200}, title = {Connecting ABT with a SAT Solver.}, url = {http://dblp.uni-trier.de/db/conf/stairs/stairs2016.html#Giraldez-CruMM16}, volume = 284, year = 2016 }