%0 Journal Article %1 journals/toplas/NowatzkiSCSER14 %A Nowatzki, Tony %A Sartin-Tarm, Michael %A Carli, Lorenzo De %A Sankaralingam, Karthikeyan %A Estan, Cristian %A Robatmili, Behnam %D 2014 %J ACM Trans. Program. Lang. Syst. %K dblp %N 1 %P 2:1-2:30 %T A Scheduling Framework for Spatial Architectures Across Multiple Constraint-Solving Theories. %U http://dblp.uni-trier.de/db/journals/toplas/toplas37.html#NowatzkiSCSER14 %V 37

@article{journals/toplas/NowatzkiSCSER14, added-at = {2021-10-14T00:00:00.000+0200}, author = {Nowatzki, Tony and Sartin-Tarm, Michael and Carli, Lorenzo De and Sankaralingam, Karthikeyan and Estan, Cristian and Robatmili, Behnam}, biburl = {https://www.bibsonomy.org/bibtex/27d835eecb7750d950cc9271ad719569c/dblp}, ee = {https://doi.org/10.1145/2658993}, interhash = {f8d6276c3f83ad1c248f96dc15f3655d}, intrahash = {7d835eecb7750d950cc9271ad719569c}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 1, pages = {2:1-2:30}, timestamp = {2024-04-09T06:03:16.000+0200}, title = {A Scheduling Framework for Spatial Architectures Across Multiple Constraint-Solving Theories.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas37.html#NowatzkiSCSER14}, volume = 37, year = 2014 }