{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T05:29:48Z","timestamp":1736486988789,"version":"3.32.0"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Grid Computing"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1007\/s10723-006-9042-8","type":"journal-article","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T12:42:10Z","timestamp":1153140130000},"page":"177-193","source":"Crossref","is-referenced-by-count":5,"title":["GridSAT: Design and Implementation of a Computational Grid Application"],"prefix":"10.1007","volume":"4","author":[{"given":"Wahid","family":"Chrabakh","sequence":"first","affiliation":[]},{"given":"Rich","family":"Wolski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,7,18]]},"reference":[{"key":"9042_CR1","doi-asserted-by":"crossref","unstructured":"Chrabakh, W., Wolski, R.: GridSAT: A chaff-based Distributed SAT solver for the Grid. Supercomputing Conference, Phoenix, Arizona, November 2003. http:\/\/www.cs.ucsb.edu\/ chrabakh\/papers\/gridsat.pdf","DOI":"10.1145\/1048935.1050188"},{"key":"9042_CR2","unstructured":"Chrabakh, W., Wolski, R.: GridSAT Portal: A GridWeb-based Portal for Solving Satisfiability Problems Using National Cyberinfrastrcture. Journal of Concurrency and Computation: Practice and Experience. John Wiley & Sons, New York [to appear]"},{"key":"9042_CR3","unstructured":"den Burger, M., Kielmann, T., Bal, H.E.: Balanced Multicasting: High-throughput Communication for Grid Applications. Proceedings of the ACM\/IEEE SC2005 Conference on High Performance Networking and Computing (2005)"},{"key":"9042_CR4","doi-asserted-by":"crossref","unstructured":"Allen, G., Davis, K., Dolkas, K.N., Doulamis, N.D., Goodale, T., Kielmann, T., Merzky, A., Nabrzyski, J., Pukacki, J., Radke, T., Russell, M., Seidel, E., Shalf, J., Taylor, I.: Enabling Applications on the Grid: A GridLab Overview. International Journal of High Performance Computing Applications: Special issue on Grid Computing: Infrastructure and Applications, August 2003","DOI":"10.1177\/10943420030174008"},{"key":"9042_CR5","doi-asserted-by":"crossref","unstructured":"Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an Efficient SAT Solver. 38th Design Automation Conference (DAC2001), Las Vegas, June 2001","DOI":"10.1145\/378239.379017"},{"key":"9042_CR6","unstructured":"Foster, I., Kesselman, C. (eds.): The Grid \u2013 Blueprint for a New Computing Infrastructure. Morgan Kaufmann (1998)"},{"key":"9042_CR7","doi-asserted-by":"crossref","unstructured":"Berman, F., Fox, G., Hey, T. (eds.): Grid Computing: Making the Global Infrastructure a Reality. Wiley, New York (2002)","DOI":"10.1002\/0470867167"},{"key":"9042_CR8","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF03040951","volume":"22-2","author":"W.W. Li","year":"2004","unstructured":"Li, W.W., Byrnes, R.W., Hayes, J., Birnbaum, A., Reyes, V.M., Shahab, A., Mosley, C., Pekurovsky, D., Quinn, G.B., Shindyalov, I.N., Casanova, H., Ang, L., Berman, F., Arzberger, P.W., Miller, M.A., Bourne, P.E.: The encyclopedia of life project: Grid software and deployment. New Gener. Comput. 22-2, 127\u2013136 (2004)","journal-title":"New Gener. Comput."},{"key":"9042_CR9","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1177\/109434200101500402","volume":"15-4","author":"G. Allen","year":"2001","unstructured":"Allen, G., Angulo, D., Foster, I., Lanfermann, G., Liu, C., Radke, T., Seidel E., Shalf, J.: The cactus worm: Experiments with dynamic resource discovery and allocation in a Grid environment. Int. J. High Perform. Comput. Appl. 15-4, 345\u2013358 (2001)","journal-title":"Int. J. High Perform. Comput. Appl."},{"key":"9042_CR10","unstructured":"Silva, J.P.M.: Search Algorithms for Satisfiability Problems in Combinational Switching Circuits. PhD thesis, University of Michigan (1995)"},{"key":"9042_CR11","doi-asserted-by":"crossref","unstructured":"Nam, G., Aloul, F., Sakallah, K., Rutenbar, R.: A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints. International Symposium on Physical Design (ISPD), Sonoma Wine County, California, pp. 222\u2013227 (2001)","DOI":"10.1145\/369691.369777"},{"key":"9042_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2572-8","volume-title":"Reasoning in Boolean Networks: Logic Synthesis and Verification Using Techniques","author":"W. Kunz","year":"1997","unstructured":"Kunz, W., Stoffel, D.: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Techniques. Kluwer, Boston (1997)"},{"key":"9042_CR13","doi-asserted-by":"crossref","unstructured":"Larrabee, T.: Test Pattern Generation Using Boolean Satisfiability. IEEE Transactions on Computer-Aided Design. pp. 4\u201315, January 1992","DOI":"10.1109\/43.108614"},{"key":"9042_CR14","doi-asserted-by":"crossref","unstructured":"Goldberg, E., Novikov, Y.: BerkMin: A fast and robust SAT-solver. Design, Automation, and Test in Europe (DATE '02). pp. 142\u2013149, March 2002","DOI":"10.1109\/DATE.2002.998262"},{"key":"9042_CR15","unstructured":"Hirsch, E.A., Kojevnikov, A.: UnitWalk: A new SAT solver that uses local search guided by unit clause elimination. PDMI preprint 9\/2001, Steklov Institute of Mathematics at St.Petersburg (2001)"},{"key":"9042_CR16","unstructured":"Biere, A.: Limmat. http:\/\/www.inf.ethz.ch\/personal\/biere\/projects\/limmat\/"},{"key":"9042_CR17","unstructured":"Silva, J.P.M., Sakallah, K.: Grasp - a new search algorithm for satisfiability. ICCAD. IEEE Computer Society (1996)"},{"key":"9042_CR18","doi-asserted-by":"crossref","unstructured":"Sinz, C., Blochinger, W., Kuchlin, W.: PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications. Proceedings of SAT2001, pp. 212\u2013217 (2001)","DOI":"10.1016\/S1571-0653(04)00323-3"},{"key":"9042_CR19","unstructured":"Forman, S.L., Segre, A.M.: NAGSAT: A Randomized, Complete, Parallel Solver for 3-SAT. Proceedings of SAT2002 (2002)"},{"key":"9042_CR20","doi-asserted-by":"crossref","unstructured":"Jurkowiak, B., Li, C.M., Utard, G.: Parallelizing Satz Using Dynamic Workload Balancing. Proceedings of Workshop on Theory and Applications of Satisfiability Testing (SAT'2001), pp. 205\u2013211, Boston, June 2001","DOI":"10.1016\/S1571-0653(04)00321-X"},{"key":"9042_CR21","unstructured":"SAT Competition: http:\/\/www.satlive.org\/SATCompetition\/ http : \/\/ www. satlive. org \/ SAT- Competition\/"},{"key":"9042_CR22","doi-asserted-by":"crossref","unstructured":"Blochinger, W., Westje, W., K\u00fcchlin, W., Wedeniwski, S.: ZetaSAT\u2013Boolean SATisfiability Solving on Desktop Grids. Proc. of the IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2005) (2005)","DOI":"10.1109\/CCGRID.2005.1558680"},{"key":"9042_CR23","doi-asserted-by":"crossref","unstructured":"Wrzesinska, G., Maassen, J., Verstoep, K., Bal, H.E.: Satin++: Divide-and-Share on the Grid. Submitted for publication, 2005","DOI":"10.1109\/E-SCIENCE.2006.261145"},{"key":"9042_CR24","unstructured":"Chrabakh, W., Wolski, R.: GrADSAT: A Parallel SAT Solver for the Grid. UCSB Technical Report, 2003-05, March 2003"},{"key":"9042_CR25","doi-asserted-by":"crossref","unstructured":"Foster, I., Kesselman, C.: Globus: A Metacomputing Infrastructure Toolkit. IJSA (1997)","DOI":"10.1177\/109434209701100205"},{"key":"9042_CR26","unstructured":"Message Passing Interface Forum: MPI: A message-passing interface standard. University of Tennessee, Knoxville, CS-94-230 (1994)"},{"key":"9042_CR27","unstructured":"OASIS Web Services Reosurce Framework (WSRF) TC: http:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=wsrf"},{"key":"9042_CR28","unstructured":"The W3C Web Services Architecture working group, public draft, August 2003. http:\/\/www.w3.org\/TR\/2003\/WD-ws-arch-20030808\/"},{"key":"9042_CR29","unstructured":"Tuecke, S., Liu, L., Meder, S.: http:\/\/docs.oasis-open.org\/wsrf\/2005\/03\/wsrf-WS-BaseFaults-1.2-draft-04.pdf"},{"key":"9042_CR30","unstructured":"Graham, S., Murray, B.: http:\/\/docs.oasis-open.org\/wsn\/2004\/06\/wsn-WS-BaseNotification-1.2-draft-03.pdf http:\/\/docs.oasis-open.org\/ wsn \/ 2004 \/ 06 \/ wsn - WS - BaseNotification - 1.2 - draft - 03. pdf"},{"key":"9042_CR31","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logeman, G., Loveland, D.: A machine program for theory proving. Commun. ACM 5, 394\u2013397 (1962)","journal-title":"Commun. ACM"},{"issue":"7","key":"9042_CR32","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1109\/43.31539","volume":"8","author":"M.H. Schulz","year":"1989","unstructured":"Schulz, M.H., Auth, E.: Improved deterministic test pattern generation with applications to redundancy identification. IEEE Trans. Comput.\u2212Aided Des. 8(7), 811\u2013816 (July 1989)","journal-title":"IEEE Trans. Comput.\u2212Aided Des."},{"key":"9042_CR33","doi-asserted-by":"crossref","unstructured":"Larrabee, T.: Efficient Generation of Test Patterns Using Boolean Difference, pp. 795\u2013802 (1990)","DOI":"10.1109\/TEST.1989.82368"},{"key":"9042_CR34","unstructured":"Czajkowski, K., Fitzgerald, S., Foster, I., Kesselman, C.: Grid Information Services for Distributed Resource Sharing. HPDC10 (2001)"},{"issue":"4","key":"9042_CR35","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/773056.773064","volume":"30","author":"R. Wolski","year":"2003","unstructured":"Wolski, R.: Experiences with predicting resource performance on-line in computational Grid settings. ACM SIGMETRICS Performance Evaluation Review. 30(4), 41\u201349 (2003)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"9042_CR36","doi-asserted-by":"crossref","unstructured":"Wolski, R., Spring, N., Hayes, J.: The Network Weather Service: A Distributed Resource Performance Forecasting Service for Metacomputing. Future Generation Computer Systems (1999)","DOI":"10.1016\/S0167-739X(99)00025-4"},{"key":"9042_CR37","doi-asserted-by":"crossref","unstructured":"Jackson, D., Vaziri, M.: Finding Bugs with a Constraint Solver. International Symposium on Software Testing and Analysis (2000)","DOI":"10.1145\/347324.383378"},{"key":"9042_CR38","doi-asserted-by":"crossref","unstructured":"Wolski, R.: Brevik, J., Krintz, C., Obertelli, G., Spring, N., Su, A.: Running EveryWare on the Computational Grid. SC99 Conference on High-performance Computing Proceedings (1999)","DOI":"10.1145\/331532.331538"},{"key":"9042_CR39","doi-asserted-by":"crossref","unstructured":"Wolski, R., Brevik, J., Obertelli, G., Spring, N. Su, A.: Writing programs that run EveryWare on the computational Grid. IEEE Trans. Parallel Distrib. Syst. 12(10), (2001). available from http:\/\/www.cs.ucsb.edu\/rich\/publications\/ev-results.ps.gz","DOI":"10.1109\/71.963418"},{"key":"9042_CR40","doi-asserted-by":"crossref","unstructured":"Berman, F., Chien, A., Cooper, K., Dongarra, J., Foster, I., Gannon, D., Johnsson, L., Kennedy, K., Kesselman, C., Reed, D., Torczon, L., Wolski, R.: The GrADS project: Software support for high-level Grid application development. Int. J. High Perform. Comput. Appl. 15(4), (2001) http:\/\/hipersoft.cs.rice.edu\/grads\/publications_reports.htm","DOI":"10.1177\/109434200101500401"},{"key":"9042_CR41","unstructured":"Bjar, R., Many, F.: Solving the Round Robin Problem Using Propositional Logic. AAAI\/IAAI, pp. 262\u2013266 (2000)"},{"key":"9042_CR42","unstructured":"Li, B., Wang, C., Somenzi, F.: Abstraction Refinement in Symbolic Model Checking Using Satisfiability as the Only Decision Procedure. International Journal on Software Tools for Technology Transfer (STTT), December 2003"},{"key":"9042_CR43","doi-asserted-by":"crossref","unstructured":"Armando, A., Compagna, L.: Abstraction-Driven SAT-based Analysis of Security Protocols. Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003, pp. 257\u2013271 (2003)","DOI":"10.1007\/978-3-540-24605-3_20"},{"key":"9042_CR44","unstructured":"Kautz, H., Selman, B.: Planning as satisfiability. Proceedings of the Tenth European Conference on Artificial Intelligence, pp. 359\u2013379, August 1992"},{"key":"9042_CR45","unstructured":"GrADS: http:\/\/hipersoft.cs.rice.edu\/grads"},{"key":"9042_CR46","unstructured":"VGrADS: http:\/\/hipersot.cs.rice.edu\/vgrads"},{"key":"9042_CR47","unstructured":"The TeraGrid Home Page: http:\/\/www.teragrid.org"},{"key":"9042_CR48","unstructured":"Tannenbaum, T., Litzkow, M.: The Condor Distributed Processing System. Dr. Dobbs Journal, February 1995"}],"container-title":["Journal of Grid Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10723-006-9042-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10723-006-9042-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10723-006-9042-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T22:47:57Z","timestamp":1736462877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10723-006-9042-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":48,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["9042"],"URL":"https:\/\/doi.org\/10.1007\/s10723-006-9042-8","relation":{},"ISSN":["1570-7873","1572-9184"],"issn-type":[{"type":"print","value":"1570-7873"},{"type":"electronic","value":"1572-9184"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}