Filters








18 Hits in 5.0 sec

Game-SAT: A Preliminary Report

Ling Zhao, Martin Müller
2004 International Conference on Theory and Applications of Satisfiability Testing  
Game-SAT is a 2-player version of SAT where two players (MAX and MIN) play on a SAT instance by alternatively selecting a variable and assigning it a value true or false.  ...  The Game-SAT problem is to determine the winner of a SAT instance under the rules above, assuming the perfect play by both players.  ...  Since this is a preliminary report, there is much room left for future work.  ... 
dblp:conf/sat/ZhaoM04 fatcat:27bbgwfwpfh63jcqgx2sjjhp34

Conference Program

2021 2021 IEEE International Symposium on Ethics in Engineering, Science and Technology (ETHICS)  
We report on our preliminary analyses of over 15 6200 images found using the keywords Poverty, Misery, Wealth, and Money.  ...  Tree" ISTAS21 Special Session: Water and Cities: Get in the Game!  ... 
doi:10.1109/ethics53270.2021.9632776 fatcat:jdthtwwtzranzps45jg4m3nmza

Hardness measures and resolution lower bounds [article]

Olaf Beyersdorff, Oliver Kullmann
2014 arXiv   pre-print
In this report we aim at a unified view of a number of hardness measures, including different measures of width, space and size of resolution proofs.  ...  Chapters 1 -6 of this report are in a reasonable shape, only the Questions are of a preliminary nature.  ...  Some references to results of this report are made in [25] (regarding xor-principles and EPHP), and in the earlier (dis-continued) report [26] (regarding PHP).  ... 
arXiv:1310.7627v2 fatcat:j4nbcqtkcfaolpts6cb4ttyshm

The Minaret - February 1, 1985

Dawn Clark
1985
This past Tuesday, the recommended budget was presented as a Collegium report to the Senior Staff, who will review it before sending it to the Board of Trustees, said Provost Ed Wilde.  ...  Collegium recommends 1985-86 budget By LUCY ROCES News Co-Editor A budget recommendation for •1985-86 has been forwarded to University of Tampa President Richard Cheshire by the UT Co!legium.  ...  The game is at Pepin/Rood Stadium; a celebration party for Coach Curd's 1968-70 championship football teams follows the game. Sat., Feb. 9, 7:30 p.m.  ... 
doi:10.48497/seg3-vx23 fatcat:vujs4smnobaunavad77kgptc5i

The targum (1946:Jan. 9 - 1946:Jan. 16)

No Name Supplied
1946
In January 1869, the Targum as we now know it, made its appearance as a monthly paper that concerned itself with student "literary contributions" and college news as well as serving as a vehicle for bringing  ...  As a student organization, the Targum operated under the oversight of the dean of students and student government but in October 1980, the Targum became an independent college paper.  ...  There is a new coach, Ken Steers, new players, and a new and radically improved team, at least if its opening game Sat urday was any indication.  ... 
doi:10.7282/t3-k38d-2g87 fatcat:6726b2gz6ze7jj77ldc65lo65q

The targum (1926:Oct. 2 - 1926:Oct. 30)

No Name Supplied
1926
In January 1869, the Targum as we now know it, made its appearance as a monthly paper that concerned itself with student "literary contributions" and college news as well as serving as a vehicle for bringing  ...  As a student organization, the Targum operated under the oversight of the dean of students and student government but in October 1980, the Targum became an independent college paper.  ...  with seven numeral winners reporting for the preliminary practice, the rifle team opened its activities at the range, on Ford campus, Tuesday afternoon.  ... 
doi:10.7282/t3-yzch-tp96 fatcat:jlcjexp2pbhxna52adjqkq4akm

The Minaret - September 6, 1996

Sara B. Rader
1996
"We'll get our gold medal on Nov. 5, 1996," said Dole, starting off a speech covering issues from Medicare to the increase of drug use •among teenagers.  ...  He mentioned his economic plan to cut income taxes by 15 percent, capital gains by 50 percent and implement a $500 per child tax cut. "They [Democrats] trust government/' said Dole.  ...  SAT. 2/22 ¥ *STUDENTS/FACULTY/STAFF SOFTBALL GAME SAT. 3/15 *WOMEN'S SOFTBALL T-MT SAT. 4/5 MEN'S BASKETBALL LEAGUE FRI. 1/24 WOMEN'S FLAG FOOTBALL LEAGUE FRI. 1/24 COED SOCCER LEAGUE WED., 1/29 MEN'S  ... 
doi:10.48497/cdzm-1214 fatcat:as4yyxhzrbebzbygsm3rnmlwom

The Daily Texan [article]

University Of Texas At Austin
2016
t Announcing fo* ably seats a for the Sciences, A.  ...  Graduate Sc f t Law Sch Babs Hi candidate ft ; A twen ©logy b to MissCha: Student At-^Jackets, Cindy Chamberof-Arts and Winkler Jr. for •I, and Don Guinn Steer Hej past -witff change drive.  ...  Afoc'.Jjsd Pr*u ' ••• Five injured ,feii^AiS«r%K: be ready for the TCU game Sat-t urday.- Basketeer# Begin^SO Practice tm ' SitS-frf .  ... 
doi:10.15781/t23t9d60b fatcat:cs3wiogbfnhf7knlzgbhg23tta

The Daily Texan [article]

University Of Texas At Austin, Austin, The University Of Texas At
2021
And we must stick by the ^te a m and let them know we are still there. Spare a few. minutes j tonight and attend the rally.  ...  Rice that the Longhorns will not j have much of a fight. But we never can tell. So-called " dope" about a football game is often tip p e t .  ...  MEN'S FACULTY CLUB GIVES INFORMAL DANCE Is in charge of the en tertain m en t, i Florence M itchell will be in Houston fo r th e Rice game Sat urday and will spend Sunday in Goose Creek. Drs.  ... 
doi:10.26153/tsw/21166 fatcat:zey3wawelvfybjrnytzylnbk3u

The origins and development of the International Hockey League and its effects on the sport of professional ice hockey in North America

Daniel Scott Mason
1994
Following the historical method, relying primarily on newspapers reports from the towns involved with the League during that period, a chronological-thematic narrative was written to analyze the following  ...  The study revealed that the formation and operations of the l.H.L. provided a significant influence on the trend toward the acceptance of professionalism in the Canadian senior hockey leagues.  ...  Stuart had apparently, during the course of the game, sat on the puck so that the Pittsburgh players could not retrieve it from him.  ... 
doi:10.14288/1.0077147 fatcat:aqb7cn2ya5hibl553ef5nk5gju

The targum (1949:Feb. 1 - 1949:Feb. 25)

No Name Supplied
1949
In January 1869, the Targum as we now know it, made its appearance as a monthly paper that concerned itself with student "literary contributions" and college news as well as serving as a vehicle for bringing  ...  As a student organization, the Targum operated under the oversight of the dean of students and student government but in October 1980, the Targum became an independent college paper.  ...  Meanwhile, present Editor John Shields announced that the band has agreed to participate in the crowning of the Queen of Gibbons Campus at the Syracuse game Sat urday night, .  ... 
doi:10.7282/t3-7x30-sz03 fatcat:lfyc5jwjbzhlje7ysywopdchdi

The targum (1930:Oct. 4 - 1930:Oct. 28)

No Name Supplied
1930
In January 1869, the Targum as we now know it, made its appearance as a monthly paper that concerned itself with student "literary contributions" and college news as well as serving as a vehicle for bringing  ...  As a student organization, the Targum operated under the oversight of the dean of students and student government but in October 1980, the Targum became an independent college paper.  ...  In a preliminary tussle, the Orange and Black's freshman combina tion swamped the Raritan yearlings, 15 to 40.  ... 
doi:10.7282/t3-p7ex-6f03 fatcat:jnn4quge2zdnphutyfpthocjra

The targum (1947:Jan. 10 - 1947:Jan. 17)

No Name Supplied
1947
In January 1869, the Targum as we now know it, made its appearance as a monthly paper that concerned itself with student "literary contributions" and college news as well as serving as a vehicle for bringing  ...  As a student organization, the Targum operated under the oversight of the dean of students and student government but in October 1980, the Targum became an independent college paper.  ...  • Students wishing to see the Seton Hall basketball game Sat urday night-and what court e-n thusiast would want to miss that one-had better make certain that they reserve a seat by the Friday deadline  ... 
doi:10.7282/t3-bqxa-3960 fatcat:4cd7xu65qvdkji4wa755s52eia

The targum (1933:Nov. 1 - 1933:Nov. 25)

No Name Supplied
1933
In January 1869, the Targum as we now know it, made its appearance as a monthly paper that concerned itself with student "literary contributions" and college news as well as serving as a vehicle for bringing  ...  As a student organization, the Targum operated under the oversight of the dean of students and student government but in October 1980, the Targum became an independent college paper.  ...  And finally, the alumni in the 7,500 at the game must have harked back to Collect $87 Toward Band Expenses to Away Games More than $87 was collected be tween halves of the Lehigh game Sat urday by the  ... 
doi:10.7282/t3-mt63-tk42 fatcat:tfsannokpjhvhpwg34jmzrfy7a

Relationship Marketing in Australian Professional Sport: An Organisational Perspective

Constantino Stavros, University, My, Nigel Pope
2018
It requires at the very least a long-term outlook, an embracing of technology and a commitment to a customer focus.  ...  Its rise to prominence has seen it become a unifying force within the marketing discipline given its application to a whole range of areas.  ...  Meek, A 1997, 'An estimate of the size and supported economic activity of the sports industry in the United States ', Sport Marketing Quarterly, vol. 6, no. 4, pp. 15-22. Merriam, S 1988  ... 
doi:10.25904/1912/2302 fatcat:f6tjfdsf3rbshhi26nolqkqixm
« Previous Showing results 1 — 15 out of 18 results