поиск книг
книги
Поддержать
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Springer
Hans Kleine Büning
,
Xishun Zhao
clauses
clause
variables
formula
instances
solver
assignment
algorithm
solvers
cnf
search
formulas
unsatisfiable
literal
algorithms
literals
graph
satisfiability
random
first
dmrp
partial
conflict
encoding
springer
decision
boolean
heidelberg
csp
contains
lncs
solving
satisfiable
solve
clique
linear
inference
sets
theorem
approach
node
vertices
complexity
minisat
defined
satisfying
vertex
constraint
path
c̄
Год:
2008
Язык:
english
Файл:
PDF, 3.45 MB
Ваши теги:
0
/
0
english, 2008
2
Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
Springer-Verlag Berlin Heidelberg
Josep Argelich
,
Alba Cabiscol
,
Inês Lynce (auth.)
,
Hans Kleine Büning
,
Xishun Zhao (eds.)
clauses
clause
variables
formula
instances
solver
assignment
algorithm
solvers
cnf
search
formulas
unsatisfiable
literal
algorithms
literals
graph
satisfiability
random
first
dmrp
partial
conflict
encoding
springer
decision
boolean
heidelberg
csp
contains
lncs
solving
satisfiable
solve
clique
linear
inference
sets
theorem
approach
node
vertices
complexity
minisat
defined
satisfying
vertex
constraint
path
c̄
Год:
2008
Язык:
english
Файл:
PDF, 3.58 MB
Ваши теги:
0
/
0
english, 2008
3
Прикладная механика самоходных землеройно-транспортных машин. Монография
Бузин Ю.М.
,
Тюнин В.Л.
3tm
chctembi
rpyhta
rpyht
npo
mrp
macca
const
crp
ectb
mporecca
wim
bpemehh
bue
jia
yto
9to
npoyecca
oprahe
9heprua
cuctembi
maccoli
chctema
eé
ngp
3akohob
9heprun
cucteme
cyp
jibc
kotoporo
maccol
pabouezo
shepruu
takum
tpyht
yepe3
3akohbi
cba3h
ckopocts
mpouecca
nre
nyp
obitb
oobektob
padouem
umeem
bce
bcex
ckopoctb
Язык:
russian
Файл:
PDF, 161.68 MB
Ваши теги:
0
/
0
russian
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×