%0 Conference Paper %1 conf/ictai/XieL16 %A Xie, Huiyuan %A Luo, Jie %B ICTAI %D 2016 %I IEEE Computer Society %K dblp %P 444-451 %T An Algorithm to Compute Minimal Unsatisfiable Subsets for a Decidable Fragment of First-Order Formulas. %U http://dblp.uni-trier.de/db/conf/ictai/ictai2016.html#XieL16 %@ 978-1-5090-4459-7

@inproceedings{conf/ictai/XieL16, added-at = {2023-03-24T00:00:00.000+0100}, author = {Xie, Huiyuan and Luo, Jie}, biburl = {https://www.bibsonomy.org/bibtex/201b4e45947c91c794e399eb5e7678ed1/dblp}, booktitle = {ICTAI}, crossref = {conf/ictai/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICTAI.2016.0074}, interhash = {827a2d6186b975dcca3192ef2a36b0bf}, intrahash = {01b4e45947c91c794e399eb5e7678ed1}, isbn = {978-1-5090-4459-7}, keywords = {dblp}, pages = {444-451}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:18:21.000+0200}, title = {An Algorithm to Compute Minimal Unsatisfiable Subsets for a Decidable Fragment of First-Order Formulas.}, url = {http://dblp.uni-trier.de/db/conf/ictai/ictai2016.html#XieL16}, year = 2016 }