books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 63; Issue 1-3
Main
Journal of Algorithms
Volume 63; Issue 1-3
Journal of Algorithms
Volume 63; Issue 1-3
1
SAT graph-based representation: A new perspective
Gilles Audemard
,
Said Jabbour
,
Lakhdar Sais
Journal:
Journal of Algorithms
Year:
2008
Language:
english
File:
PDF, 434 KB
Your tags:
english, 2008
2
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion
Marco Gavanelli
,
Toni Mancini
Journal:
Journal of Algorithms
Year:
2008
Language:
english
File:
PDF, 56 KB
Your tags:
english, 2008
3
Experimenting with parallelism for the instantiation of ASP programs
F. Calimeri
,
S. Perri
,
F. Ricca
Journal:
Journal of Algorithms
Year:
2008
Language:
english
File:
PDF, 237 KB
Your tags:
english, 2008
4
Stochastic local search for large-scale instances of the haplotype inference problem by pure parsimony
Luca Di Gaspero
,
Andrea Roli
Journal:
Journal of Algorithms
Year:
2008
Language:
english
File:
PDF, 241 KB
Your tags:
english, 2008
5
The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study
Matti Järvisalo
,
Ilkka Niemelä
Journal:
Journal of Algorithms
Year:
2008
Language:
english
File:
PDF, 473 KB
Your tags:
english, 2008
6
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
Marco Maratea
,
Francesco Ricca
,
Wolfgang Faber
,
Nicola Leone
Journal:
Journal of Algorithms
Year:
2008
Language:
english
File:
PDF, 571 KB
Your tags:
english, 2008
7
Model checking with Boolean Satisfiability
Joao Marques-Silva
Journal:
Journal of Algorithms
Year:
2008
Language:
english
File:
PDF, 265 KB
Your tags:
english, 2008
8
A test suite for the evaluation of mixed multi-unit combinatorial auctions
Meritxell Vinyals
,
Andrea Giovannucci
,
Jesús Cerquides
,
Pedro Meseguer
,
Juan A. Rodriguez-Aguilar
Journal:
Journal of Algorithms
Year:
2008
Language:
english
File:
PDF, 636 KB
Your tags:
english, 2008
9
Experimental studies of variable selection strategies based on constraint weights
Richard J. Wallace
,
Diarmuid Grimes
Journal:
Journal of Algorithms
Year:
2008
Language:
english
File:
PDF, 165 KB
Your tags:
english, 2008
10
Editorial Board
Journal:
Journal of Algorithms
Year:
2008
File:
PDF, 46 KB
Your tags:
2008
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×