%0 Journal Article %1 journals/dagstuhl-reports/AbrahamDEG22 %A Ábrahám, Erika %A Davenport, James H. %A England, Matthew %A Griggio, Alberto %D 2022 %J Dagstuhl Reports %K dblp %N 2 %P 67-86 %T New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports12.html#AbrahamDEG22 %V 12

@article{journals/dagstuhl-reports/AbrahamDEG22, added-at = {2022-09-26T00:00:00.000+0200}, author = {Ábrahám, Erika and Davenport, James H. and England, Matthew and Griggio, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/29a3cd469ab86428e3679a3f48c9565b5/dblp}, ee = {https://doi.org/10.4230/DagRep.12.2.67}, interhash = {68cb2c94a32c0298837636588736a8af}, intrahash = {9a3cd469ab86428e3679a3f48c9565b5}, journal = {Dagstuhl Reports}, keywords = {dblp}, number = 2, pages = {67-86}, timestamp = {2024-04-08T14:52:38.000+0200}, title = {New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports12.html#AbrahamDEG22}, volume = 12, year = 2022 }