AbnerCYH's logic [27 articles] Export

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

	The probabilistic analysis of a greedy satisfiability algorithm [My Copy] Random Structures and Algorithms, Vol. 28, No. 4. (2006), pp. 444-480. by Alexis C. Kaporis, Lefteris M. Kirousis, Efthimios G. Lalas posted to algorithms complex complexity dynamics logic stochastic by AbnerCYH on 2009-02-06 15:44:01 as
	Results related to threshold phenomena research in satisfiability: lower bounds [My Copy] Theoretical Computer Science, Vol. 265, No. 1-2. (28 August 2001), pp. 147-157. by J. Franco posted to algorithms complex complexity dynamics logic stochastic by AbnerCYH on 2009-02-06 15:42:49 as
	Resolution complexity of random constraint satisfaction problems: Another half of the story [My Copy] Discrete Applied Mathematics, Vol. 153, No. 1-3. (01 December 2005), pp. 124-140. by Y. Gao, J. Culberson posted to algorithms complex complexity dynamics logic stochastic by AbnerCYH on 2009-02-06 15:41:50 as
	A sharp threshold in proof complexity yields lower bounds for satisfiability search [My Copy] Journal of Computer and System Sciences, Vol. 68, No. 2. (March 2004), pp. 238-268. by D. Achlioptas posted to algorithms complex complexity dynamics logic by AbnerCYH on 2009-02-06 15:40:47 as
	Solving satisfiability problems by fluctuations: The dynamics of stochastic local search algorithms [My Copy] Physical Review E, Vol. 67, No. 6. (12 June 2003), 066104. by Wolfgang Barthel, Alexander K. Hartmann, Martin Weigt posted to algorithms complex complexity dynamics logic by AbnerCYH on 2009-02-06 15:13:01 as
	Probabilistic Analysis of Two Heuristics for the $3$-Satisfiability Problem [My Copy] SIAM Journal on Computing, Vol. 15, No. 4. (1986), pp. 1106-1118. by Ming T. Chao, John Franco posted to algorithms complexity dynamics logic stochastic by AbnerCYH on 2009-02-06 14:34:50 as
	Phase transitions and complexity in computer science: an overview of the statistical physics approach to the random satisfiability problem [My Copy] Physica A: Statistical Mechanics and its Applications, Vol. 306 (01 April 2002), pp. 381-394. by G. Biroli, S. Cocco, R. Monasson posted to algorithms complex complexity dynamics logic stochastic by AbnerCYH on 2009-02-05 09:20:03 as
	On the maximum satisfiability of random formulas [My Copy] J. ACM, Vol. 54, No. 2. (2007) by Dimitris Achlioptas, Assaf Naor, Yuval Peres posted to complex complexity logic math stochastic by AbnerCYH on 2009-01-26 22:15:06 as
	Statistical physics analysis of the computational complexity of solving random satisfiability problems using backtrack algorithms [My Copy] The European Physical Journal B - Condensed Matter and Complex Systems, Vol. 22, No. 4. (2001), pp. 505-531. by S. Cocco, R. Monasson posted to complex complexity logic stochastic by AbnerCYH on 2009-01-21 19:18:50 as
	Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) [My Copy] (11 June 2007) by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, et al.Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein posted to complexity logic math by AbnerCYH on 2008-04-22 06:10:52 as along with 3 people leonardo masteraka JakubSzymanik
	Fixed-Parameter Tractability, Definability, and Model-Checking [My Copy] SIAM Journal on Computing, Vol. 31, No. 1. (2001), pp. 113-145. by Jörg Flum, Martin Grohe posted to algorithms complexity graph logic parameterized by AbnerCYH on 2008-03-26 09:20:30 as
	The modular decomposition of countable graphs. Definition and construction in monadic second-order logic [My Copy] Theoretical Computer Science, Vol. 394, No. 1-2. (31 March 2008), pp. 1-38. by Bruno Courcelle, Christian Delhomme posted to algorithms graph logic math by AbnerCYH on 2008-03-10 16:26:44 as
	Minimization of decision trees is hard to approximate [My Copy] Journal of Computer and System Sciences In Computational Complexity 2003, Vol. 74, No. 3. (May 2008), pp. 394-403. by Detlef Sieling posted to algorithms complexity kdd logic by AbnerCYH on 2008-01-22 14:44:55 as
	Kolmogorov complexities Kmax, Kmin on computable partially ordered sets [My Copy] (2 Jan 2008) by Marie Ferbus-Zanda, Serge Grigorieff posted to algorithms complexity logic order by AbnerCYH on 2008-01-04 12:39:07 as along with 1 person A_Olympia
	Is Randomness "Native" to Computer Science? [My Copy] (1 Jan 2008) by Marie Ferbus-Zanda, Serge Grigorieff posted to complexity logic math by AbnerCYH on 2008-01-04 12:36:43 as along with 1 person ansobol
	Symbolic Graphs: Linear Solutions to Connectivity Related Problems [My Copy] Algorithmica, Vol. 50, No. 1. (15 January 2008), pp. 120-158. by Raffaella Gentilini, Carla Piazza, Alberto Policriti posted to algorithms graph logic by AbnerCYH on 2007-12-16 16:17:23 as
	Complexity measures and decision tree complexity: a survey [My Copy] Theoretical Computer Science, Vol. 288, No. 1. (9 October 2002), pp. 21-43. by Harry Buhrman, Ronald de Wolf posted to algorithms complexity logic by AbnerCYH on 2007-11-08 18:40:15 as
	Boolean Delay Equations: A simple way of looking at complex systems [My Copy] (24 Oct 2007) by Michael Ghil, Ilya Zaliapin, Barbara Coluzzi posted to complex economic logic math by AbnerCYH on 2007-10-27 16:53:07 as along with 1 person ansobol
	Size-depth trade-offs for threshold circuits [My Copy] In STOC '93: Proceedings of the twenty-fifth annual ACM symposium on Theory of computing (1993), pp. 541-550. by Russell Impagliazzo, Ramamohan Paturi, Michael E. Saks posted to complexity logic by AbnerCYH on 2007-10-23 10:12:03 as
	Computational model theory: An overview [My Copy] (1998) by M. Vardi posted to logic math by AbnerCYH on 2007-09-27 19:20:09 as along with 2 people scis0000001 Scis0000002
	Logic, Graphs, and Algorithms [My Copy] (2007) by Martin Grohe posted to algorithms complexity graph logic by AbnerCYH on 2007-09-25 17:10:00 as
	Classes of Recursively Enumerable Sets and Their Decision Problems [My Copy] Transactions of the American Mathematical Society, Vol. 74, No. 2. (1953), pp. 358-366. by H. G. Rice posted to complexity logic by AbnerCYH on 2007-09-21 09:56:19 as along with 1 person and 1 group reiju CSBBGraphTheory
	The parameterized complexity of database queries [My Copy] In PODS '01: Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2001), pp. 82-92. by Martin Grohe posted to algorithms complexity logic by AbnerCYH on 2007-08-23 12:13:18 as along with 1 person and 1 group sebis CSBBGraphTheory
	Parameterized circuit complexity and the W hierarchy [My Copy] Theoretical Computer Science, Vol. 191, No. 1-2. (30 January 1998), pp. 97-115. by Rodney G. Downey, Michael R. Fellows, Kenneth W. Regan posted to algorithms complexity logic by AbnerCYH on 2007-08-23 06:25:21 as along with 1 group CSBBGraphTheory
	The classical decision problem [My Copy] (1997) by Egon Börger, Erich Grädel, Yuri Gurevich posted to complexity logic by AbnerCYH on 2007-07-28 15:27:32 as along with 1 group CSBBGraphTheory
	Linear Time Solvable Optimization Problems on Graphs of Bounded Clique-Width [My Copy] Theory of Computing Systems, Vol. 33, No. 2. (4 March 2000), pp. 125-150. by B. Courcelle, J. A. Makowsky, U. Rotics posted to algorithms graph logic by AbnerCYH on 2007-07-25 10:38:13 as along with 1 group CSBBGraphTheory
	Monadic Second-Order Evaluations on Tree-Decomposable Graphs. [My Copy] Theor. Comput. Sci., Vol. 109, No. 1&2. (1993), pp. 49-82. by Bruno Courcelle, Mohamed Mosbah posted to algorithms complexity logic by AbnerCYH on 2007-07-25 08:49:36 as along with 1 group CSBBGraphTheory

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

algorithms	687
graph	478
complexity	189
combinatorics	150
biology	128
kdd	128
math	127
complex	125
stochastic	113
topology	82
optimization	63
geometries	62
order	61
algebra	56
data_structure	52
dynamics	43
parameterized	38
testing	32
information	28
logic	27
automata	22
game	19
parallel	18
distributed	15
economic	14
sys_performance	14
string	7
neuro	6
history	4

AbnerCYH's logic [27 articles] Export

AbnerCYH's tags