pwais's cs264a [26 articles] Export

Recent papers added to pwais's library classified by the tag cs264a. You can also see everyone's cs264a.

	A refined search tree technique for dominating set on planar graphs [My Copy] J. Comput. Syst. Sci., Vol. 71, No. 4. (2005), pp. 385-405. by Jochen Alber, Hongbing Fan, Michael R. Fellows, et al.Henning Fernau, Rolf Niedermeier, Fran Rosamond, Ulrike Stege posted to algorithms cs264a cs280ap sat snptagging by pwais on 2008-12-06 22:46:45 as
	Approximation Algorithms for Combinatorial Problems [My Copy] J. Comput. Syst. Sci., Vol. 9, No. 3. (1974), pp. 256-278. by David S. Johnson posted to cs264a sat snptagging by pwais on 2008-12-02 23:42:35 as
	Evaluating and improving power in whole-genome association studies using fixed marker sets [My Copy] Nat Genet, Vol. 38, No. 6. (21 June 2006), pp. 663-667. by Itsik Pe'er, Paul I. W. de Bakker, Julian Maller, Roman Yelensky, David Altshuler, Mark J. Daly posted to cs264a snptagging by pwais on 2008-11-20 02:42:37 as along with 7 people and 1 group arsyed Zephyrus misonneh pcahan1 ashandanj djkt mailund Roswell Cancer Crosstalk
	Recursive conditioning [My Copy] Artificial Intelligence, Vol. 126, No. 1-2. (February 2001), pp. 5-41. by A. Darwiche posted to cs264a sat by pwais on 2008-11-20 02:31:16 as
	Decomposable negation normal form [My Copy] Journal of the ACM, Vol. 48 (2001) by Adnan Darwiche posted to cs264a sat by pwais on 2008-11-11 20:35:24 as
	A knowledge compilation map [My Copy] Journal of Artificial Intelligence Research, Vol. 17 (2002), pp. 229-264. by Adnan Darwiche, Pierre Marquis posted to cs264a sat by pwais on 2008-11-09 22:26:33 as
	Leveraging the HapMap correlation structure in association studies. [My Copy] Am J Hum Genet, Vol. 80, No. 4. (April 2007), pp. 683-691. by N. Zaitlen, H. M. Kang, E. Eskin, E. Halperin posted to cs264a snptagging by pwais on 2008-10-28 09:55:24 as along with 1 person guhjy
	Complete unrestricted backtracking algorithms for satisfiability [My Copy] In In Proceedings of the International Symposium on Theory and Applications of Satisfiability Testing, Vol. 2002 (2002), pp. 214-221. by I. Lynce, L. Baptista, J. Marques-Silva posted to cs264a restarting sat by pwais on 2008-10-14 09:18:20 as
	Chaff: Engineering an Efficient SAT Solver [My Copy] (2001), pp. 530-535. by Matthew W. Moskewicz, Conor F. Madigan posted to cs264a restarting sat by pwais on 2008-10-14 08:58:38 as
	CNF Symmetry Breaking Options in Conflict Driven SAT Solving [My Copy] In SAT 2005 (2005) by Alexander Keur, Coen Stevens, Mark Voortman posted to cs264a restarting sat by pwais on 2008-10-14 08:30:18 as
	Efficient conflict driven learning in a boolean satisfiability solver [My Copy] In In ICCAD (2001), pp. 279-285. by Lintao Zhang, Conor F. Madigan posted to cs264a restarting sat by pwais on 2008-10-14 02:17:43 as along with 2 people gkatsi radsz
	Symmetry-breaking predicates for search problems [My Copy] (1996), pp. 148-159. by James Crawford, Matthew Ginsberg, Eugene Luks, Amitabha Roy posted to cs264a sat by pwais on 2008-10-12 21:15:17 as
	Survey Propagation Revisited [My Copy] by Ashish Sabharwal posted to cs264a sat by pwais on 2008-10-12 21:14:06 as
	The Parameterized Complexity of Global Constraints [My Copy] In AAAI (2008), pp. 235-240. by Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude G. Quimper, Toby Walsh edited by Dieter Fox, Carla P. Gomes, Dieter Fox, Carla P. Gomes posted to constraint cs241a cs264a programming by pwais on 2008-10-12 21:00:22 as
	Decompositions of Grammar Constraints [My Copy] In AAAI (2008), pp. 1567-1570. by Claude G. Quimper, Toby Walsh edited by Dieter Fox, Carla P. Gomes, Dieter Fox, Carla P. Gomes posted to cs264a restarting sat by pwais on 2008-10-12 20:59:10 as
	Breaking Value Symmetry [My Copy] In AAAI (2008), pp. 1585-1588. by Toby Walsh edited by Dieter Fox, Carla P. Gomes, Dieter Fox, Carla P. Gomes posted to cs264a restarting sat by pwais on 2008-10-12 20:58:26 as
	Efficient Algorithms for Clause-learning Sat Solvers [My Copy] (2004) by Lawrence Ryan posted to cs264a restarting sat by pwais on 2008-10-10 09:53:05 as
	A SAT Solver Primer [My Copy] Bulletin of the EATCS, Vol. 85 (2005), pp. 112-132. by David G. Mitchell posted to cs264a restarting sat by pwais on 2008-10-06 21:06:22 as
	Boosting combinatorial search through randomization [My Copy] (1998), pp. 431-437. by Carla P. Gomes, Bart Selman, Henry Kautz posted to cs264a restarting sat search by pwais on 2008-10-05 23:55:31 as
	Adaptive Restart Strategies for Conflict Driven SAT Solvers [My Copy] Theory and Applications of Satisfiability Testing – SAT 2008 (2008), pp. 28-33. by Armin Biere posted to cs264a restarting sat by pwais on 2008-10-04 21:37:16 as
	The Effect of Restarts on the Efficiency of Clause Learning [My Copy] In Proceedings of the International Joint Conference on Artificial Intelligence (2007), pp. 2318-2323. by Jinbo Huang posted to cs264a restarting sat by pwais on 2008-10-04 21:36:17 as
	Heavy-tailed phenomena in satisfiability and constraint satisfaction problems [My Copy] Journal of automated reasoning, Vol. 24 (2000) by Carla P. Gomes, Bart Selman, Henry Kautz posted to cs264a restarting sat by pwais on 2008-10-04 21:36:00 as
	Local Restarts [My Copy] Theory and Applications of Satisfiability Testing – SAT 2008 (2008), pp. 271-276. by Vadim Ryvchin, Ofer Strichman posted to cs264a restarting sat by pwais on 2008-10-04 21:26:02 as
	Online Estimation of SAT Solving Runtime [My Copy] In SAT, Vol. 4996 (2008), pp. 133-138. by Shai Haim, Toby Walsh edited by Hans K. Büning, Xishun Zhao, Hans K. Büning, Xishun Zhao posted to cs264a restarting sat by pwais on 2008-10-04 21:24:16 as
	Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms [My Copy] Principles and Practice of Constraint Programming (2008), pp. 630-634. by Gilles Audemard, Laurent Simon posted to cs264a restarting sat by pwais on 2008-10-04 21:21:48 as
	Propositional Satisfiability and Constraint Programming: A comparative survey [My Copy] ACM Comput. Surv., Vol. 38, No. 4. (2006) by Lucas Bordeaux, Youssef Hamadi, Lintao Zhang posted to constraint cs264a programming sat surveys by pwais on 2008-10-03 23:45:36 as along with 3 people and 1 group benavides bfraser yijunyu tdg

Note: You may cite this page as: http://www.citeulike.org/user/pwais/tag/cs264a

sketch	62
vision	50
project	41
pictorial_structures	31
sat	30
cs264a	26
cse	25
cs261a	22
cs263a	21
cv	20
scheduling	17
restarting	16
surveys	15
cs279	14
cv_learning_group	10
nlp	9
maxsat	8
learning	8
algorithms	7
bayesian	6
snptagging	6
cs280ap	6
programming	6
lda	5
search	5
vehicle	4
education	4
routing	4
sketch_to_3d	4
animation	4
bioinformatics	4
congeal	4
cloud	4
hci	3
planning	3
3d	3
graphics	3
in	3
complexity	3
women	3
teaching	3
operating_systems	3
language	3
networks	3
cs	3
zap	3
natural	3
blast	3
constraint	3
sigcse	3
linear	3
segmentation	2
ginsberg	2
bioinfo	2
robotics	2
processing	2
mdp	2
software	2
koller	2
propogation	2
game_theory	2
belief	2
bio	2
psychology	2
social_psych	2
multicore	2
machine	2
treewidth	2
cad	2
image	2
models	2
rcpsp	2
graphical	2
problem	2
cs241a	2
bibtex-import	2
using	1
tutoring	1
deformable_templates	1
backtracking	1
stochastic	1
ucla	1
collaboration	1
eisenberg	1
multi	1
neuroscience	1
presenter	1
survey	1
engineering	1
pattern_recognition	1
mike	1
reconstruction	1
fmri	1
rectangle	1
mentoring	1
oriented	1
wang	1
myers	1
systems	1
hmc	1
sci	1
probablistic	1
briggs	1
packing	1
cog	1
motivation	1
computational	1
causality	1
understanding	1
cut	1
diversity	1
swendsen	1
clrs	1
imag	1
argumentation	1
cooperation	1
gold	1
agent	1
cs289a	1
collaborative-filtering	1
social	1
statisticians	1
research	1
model_checking	1
feedback	1
geometry	1
student	1
distributed	1
physics	1
object	1
seach	1
coud	1
human	1
for	1
databases	1
recommender-systems	1
textures	1
stat232b	1
classroom	1
mapreduce	1
textbook	1
parsing	1
operations	1

pwais's cs264a [26 articles] Export

pwais's tags