gagliol's satisfiability [27 articles] Export Sort

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

Hide details

	A machine program for theorem-proving [My Copy] Commun. ACM, Vol. 5, No. 7. (July 1962), pp. 394-397. by Martin Davis, George Logemann, Donald Loveland posted to satisfiability dpll backtracking by gagliol on 2009-11-07 16:34:55 as along with 6 people chsticksel bsilverthorn bulwahn brothers bfraser voronov
	Massively Parallel Evolution of SAT Heuristics [My Copy] In 2009 IEEE Congress on Evolutionary Computation (May 2009) by Alex S. Fukunaga edited by Andy Tyrrell posted to algorithms evolutionary-computation genetic parallel-computing programming satisfiability by gagliol on 2009-07-03 15:40:49 as
	SATzilla: Portfolio-based Algorithm Selection for SAT [My Copy] Journal of Artiﬁcial Intelligence Research 32 (2008) 565-606, Vol. 32 (2008), pp. 565-606. by Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown posted to algorithm-selection censored-sampling offline performance-modeling satisfiability by gagliol on 2009-03-14 18:18:04 as
	Towards Distributed Algorithm Portfolios [My Copy] In International Symposium on Distributed Computing and Artificial Intelligence 2008 (DCAI 2008), Vol. 50 (2008), pp. 634-643. by Matteo Gagliolo, Jürgen Schmidhuber edited by Juan M. Corchado, Sara Rodríguez, James Llinas, José M. Molina posted to algorithm-portfolios algorithm-selection computational-complexity distributed-computing gagliolo-phd parallel-computing satisfiability by gagliol on 2008-12-08 16:58:01 as
	Impact of censored sampling on the performance of restart strategies [My Copy] In Principle and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, Vol. 4204 (September 2006), pp. 167-181. by Matteo Gagliolo, Jürgen Schmidhuber edited by F. Benhamou posted to censored-sampling performance-modeling restart satisfiability survival-analysis by gagliol on 2008-08-05 18:05:21 as
	Automatically Configuring Constraint Satisfaction Programs: A Case Study [My Copy] Constraints, Vol. 1, No. 1/2. (1996), pp. 7-43. by Steven Minton posted to satisfiability algorithm-selection by gagliol on 2007-12-18 15:21:13 as
	Learning dynamic algorithm portfolios [My Copy] Annals of Mathematics and Artificial Intelligence, Vol. 47, No. 3-4. (August 2006), pp. 295-328. by Matteo Gagliolo, Jürgen Schmidhuber posted to parallel-computing algorithm-portfolios computational-complexity algorithm-selection combinatorial-auctions combinatorial-optimization constraint-satisfaction runtime-distributions survival-analysis bandit conditional gagliolo-phd satisfiability by gagliol on 2007-12-16 11:55:24 as along with 1 person bsilverthorn
	Hierarchical Hardness Models for SAT [My Copy] In Principles and Practice of Constraint Programming (CP-07), Vol. 4741 (2007), pp. 696-711. by Lin Xu, Holger H. Hoos, Kevin L. Brown posted to satisfiability algorithm-selection empirical-hardness-models performance-modeling by gagliol on 2007-12-14 18:34:34 as
	SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT [My Copy] In Principles and Practice of Constraint Programming (CP-07) (2007), pp. 712-727. by Lin Xu, Frank Hutter, Holger H. Hoos, Kevin L. Brown posted to satisfiability algorithm-selection by gagliol on 2007-12-14 18:25:01 as
	Tuning Local Search for Satisfiability Testing [My Copy] In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI'96) (1996), pp. 356-362. by Andrew J. Parkes, Joachim P. Walser posted to satisfiability heuristic local-search parameter-tuning by gagliol on 2007-12-14 16:21:18 as
	Nonsystematic Backtracking Search [My Copy] (1995) by William D. Harvey posted to satisfiability parallel-computing algorithm-portfolios algorithm-selection computational-complexity anytime-algorithms backtracking-search constraint-satisfaction randomized-algorithms by gagliol on 2007-07-06 15:34:36 as
	Computers and Intractability; A Guide to the Theory of NP-Completeness [My Copy] (1990) by Michael R. Garey, David S. Johnson posted to optimization satisfiability constraint-satisfaction by gagliol on 2007-04-03 16:43:28 as along with 1 person fox_hound_33
	Quantum Optimization [My Copy] Information Sciences, Vol. 128 (2000) by Tad Hogg, Dmitriy Portnov posted to satisfiability constraint-satisfaction quantum-computing by gagliol on 2007-04-03 16:40:35 as
	Experimental Results on the Crossover Point in Random 3-SAT [My Copy] Artificial Intelligence, Vol. 81, No. 1-2. (1996), pp. 31-57. by James M. Crawford, Larry D. Auton posted to satisfiability constraint-satisfaction phase-transition sat by gagliol on 2007-03-23 19:25:14 as
	Restart policies with dependence among runs: A dynamic programming approach [My Copy] In Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, Vol. 2470 (2002) by Y. Ruan, E. Horvitz, H. Kautz edited by Pascal Van Hentenryck posted to bibtex-import-wt dynamic gagliolo-phd printed restart satisfiability by gagliol on 2007-03-23 17:47:01 as
	the connections between backdoors, restarts, and heavy-tailedness in combinatorial search [My Copy] by R. Williams, C. Gomes, B. Selman posted to satisfiability algorithmic-complexity heavy-tails combinatorial-optimization performance-modeling by gagliol on 2007-03-23 17:45:20 as
	Ensemble-based prediction of SAT search behaviour [My Copy] Electronic Notes in Discrete Mathematics, Vol. 9 (2001) by Breanndán, Maarten de Rijke, Johan van Benthem posted to satisfiability printed restart by gagliol on 2007-03-23 17:42:46 as
	Adaptive Constraint Satisfaction: The Quickest First Principle [My Copy] In European Conference on Artificial Intelligence (1996), pp. 160-164. by J. E. Borrett, Edward P. K. Tsang, N. R. Walsh posted to dynamic satisfiability dynamic-algorithm-portfolios algorithm-selection by gagliol on 2006-10-22 21:06:57 as
	On the stupid algorithm for satisfiability [My Copy] (1998) by I. Gent posted to satisfiability by gagliol on 2006-09-26 18:38:03 as
	Morphing: Combining Structure and Randomness [My Copy] In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI'99) (1999), pp. 654-660. by Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh posted to satisfiability by gagliol on 2006-09-22 13:25:55 as
	Backbone Fragility and the Local Search Cost Peak [My Copy] Journal of Artificial Intelligence Research, Vol. 12 (2000), pp. 235-270. by Josh Singer, Ian Gent, Alan Smaill posted to satisfiability local-search performance-modeling by gagliol on 2006-08-25 11:50:38 as
	Stochastic Local Search : Foundations & Applications (The Morgan Kaufmann Series in Artificial Intelligence) [My Copy] (30 September 2004) by Holger H. Hoos, Thomas Stützle posted to tsp satisfiability ant-colony-optimization local-search randomized-algorithms performance-modeling by gagliol on 2006-08-24 14:39:49 as along with 3 people and 3 groups Fantozzi petrposik nojhan EvolutionaryComputation Metaheuristics Optimization
	A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers [My Copy] Journal of Automated Reasoning, Vol. 34, No. 1. (January 2005), pp. 73-101. by Bernard Jurkowiak, Chu Li, Gil Utard posted to satisfiability algorithm-portfolios algorithm-selection parallel-computing by gagliol on 2006-08-18 19:46:35 as
	Summarizing CSP Hardness with Continuous Probability Distributions. [My Copy] In AAAI/IAAI (1997), pp. 327-333. by Daniel Frost, Irina Rish, Lluís Vila posted to satisfiability performance-modeling by gagliol on 2006-07-17 11:24:55 as
	The search for Satisfaction [My Copy] (1999) by I. Gent, T. Walsh posted to gagliolo-phd satisfiability by gagliol on 2006-07-17 11:24:55 as
	On the Run-Time Behaviour of Stochastic Local Search Algorithms for SAT [My Copy] In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI'99) (1999), pp. 661-666. by Holger H. Hoos posted to satisfiability by gagliol on 2006-07-17 11:24:54 as
	Heuristics Based on Unit Propagation for Satisfiability Problems [My Copy] In IJCAI 97 (1997), pp. 366-371. by Chu M. Li, Anbulagan posted to bibtex-import-wt satisfiability by gagliol on 2006-07-17 11:24:54 as

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

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

bibtex-import-mb	114
gagliolo-laurea	107
algorithm-selection	81
restart	73
bibtex-import-wt	45
bandit	45
printed	40
performance-modeling	40
mdl	37
parallel-computing	37
gagliolo-phd	36
algorithmic-complexity	35
anytime-algorithms	31
algorithm-portfolios	30
multi-agent-learning	27
satisfiability	27
optimization	27
bayes	27
reinforcement-learning	25
evolutionary-game-theory	23
survival-analysis	23
meta-learning	22
statistics	21
multi-agent-systems	21
longitudinal-data	19
social-learning	17
constraint-satisfaction	16
evolutionary-computation	16
multi-agent-reinforcement-learning	14
networks	13
cooperation	13
distributed-computing	12
svm	12
planning	11
social-sciences	11
nonparametric	11
kernel-methods	10
randomized-algorithms	10
cooperative	10
dynamic	9
statistical-learning	9
combinatorial-optimization	9
game-theory	9
local-search	8
parameter-tuning	8
computational-complexity	8
nn	7
offline	7
r-language	7
online-learning	7
neural-networks	7
software	7
censored-sampling	6
combinatorial-auctions	6
bounded-rationality	6
dynamic-algorithm-portfolios	5
distributed-constraint-satisfaction	5
time-quality-trade-off	5
code	5
genetic-algorithms	5
hazard	5
exploration-explotation	5
experts	5
metaheuristics	5
universal-search	5
echo-state-network	5
search	4
iterated-local-search	4
adversarial	4
online	4
runtime-distributions	4
non-stochastic	4
ai	4
static	4
coordination	4
q-learning	4
markov-decision-process	4
social-networks	4
sips	4
grid-computing	4
conference	4
mixed-effects	4
performance-profiles	4
adversarial-setting	4
racing	4
scheduling	4
tsp	4
unbounded-loss	3
continuous-time	3
evolution-strategies	3
ant-colony-optimization	3
quantum-computing	3
heavy-tails	3
dynamic-programming	3
home-page	3
tutorial	3
time-dependent-planning	3
competing-risks	3
model-selection	3
opinion-dynamics	3
semiparametric	3
mas	3
mdp	3
culture	3
complex-systems	3
global-optimization	3
backtracking-search	3
cox-model	3
linda	3
contracts	3
tuple-spaces	3
scale-free	2
chaotic-system	2
coin	2
parametric	2
anthropology	2
continual-computation	2
active-learning	2
sequential-composition	2
heuristic	2
no-free-lunch	2
economics	2
grading	2
toget	2
econophysics	2
conflict-prevention	2
design-of-experiments	2
workshop	2
empirical-hardness-models	2
cost-profiles	2
partial-information	2
programming	2
nonstationary-environment	2
social	2
genetic-programming	2
computers	2
model-free	2
jobshop-scheduling	2
gradient-descent	2
classification	2
noncooperative	2
data	2
ranking	2
agent-based-modeling	2
distributed-rl	2
time-series	2
algorithms	2
trust	2
conditional	2
flowshop-scheduling	1
bagging	1
linux	1
regret	1
additive-hazard	1
multivariate	1
bibliography	1
backtracking	1
lindenmayer	1
gaussian-mixtures	1
longitudinal	1
rejuvenation	1
distributed	1
conditional-models	1
learning-theory	1
continuous-state	1
machine-learning	1
genotype-phenotype-mapping	1
sat	1
robocup	1
matlab	1
parochialism	1
inductive-transfer	1
civil-violence	1
cross-validation	1
coordination-theory	1
complexity	1
voting	1
low-knowledge	1
phase-transition	1
ecga	1
bootstrap	1
genetic	1
linked-lists	1
stationary	1
per-set	1
linear-algebra	1
discrete-optimization	1
group-evolution	1
web	1
jopera	1
population-based	1
clustered-data	1
probability	1
max-k-armed-bandit	1
gaia	1
checkpointing	1
benchmark	1
species	1
robotics	1
wavelets	1
research	1
unbounded-losses	1
reputation	1
performance-data	1
prisoners-dilemma	1
sas	1
scipy	1
smoothing	1
review	1
pac	1
convex-optimization	1
dpll	1
python	1
stochastic-scheduling	1
biased-sampling	1
pomdp	1
self-organizing-map	1
constrained-optimization	1
lasso	1
group-selection	1
modularity	1
clustering	1
neutrality	1
agent-oriented	1
communication	1
no-regret	1
mathematical-software	1
boosting	1
l-systems	1
maximum-likelihood	1
redundancy	1
pca	1
political-sciences	1
graphs	1
stochastic-games	1
matrix-factorization	1
dynamic-networks	1
multi-objective	1
boinc	1
speech	1
recurrent-neural-networks	1
eu	1
full-information	1
bibtex-import	1
stochastic-gradient	1
accellerated-failure-time	1
mu	1
cinema	1
ecology	1
multiscale-networks	1
bayes-networks	1
locally-weighted-learning	1
hannan	1
graph-theory	1
nonlinear-programming	1
tail-distribution	1
competition	1
java	1
self-adaptation	1
cryptography	1
comparison	1
per-instance	1
hyperheuristics	1
stochastic-planning	1
manipulation	1
video	1
decision-theory	1
causality	1
inirect-reciprocity	1
prescriptive	1
kernel	1
lazy-learning	1
mixtures	1
investment-portfolios	1
multilevel-selection	1
continuum-armed	1
mixtures-of-experts	1
rbf	1
reservoir	1

gagliol's satisfiability [27 articles] Export Sort

gagliol's tags