пошук книг
книги
Підтримати
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
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 та вставте його сюди
×
×