募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
22.8% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
创建 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Constraint Integer Programming
Verlag Dr. Hut
Tobias Achterberg
onstraint
variables
whi
tsgm
tgm
ttot
instan
onstraints
step
algorithm
path
propagation
integer
ation
bounds
erent
scip
presolving
node
tive
linear
relaxation
solution
sear
dedu
heuristi
urrent
impli
values
nodes
equal
bits
setting
xed
binary
programming
solving
graph
rst
ngm
nsgm
fst
ntot
slw
ted
tions
uts
feasible
subproblem
alled
年:
2007
语言:
english
文件:
PDF, 3.34 MB
您的标签:
0
/
0
english, 2007
2
Integrating Decision Procedures for Temporal Verification
Stanford University
Nikolaj Skallerud Bjorner
ation
onstraints
ision
tors
linear
variables
edure
edures
algorithm
onstru
ursive
veri
losure
theories
whi
equality
equalities
rst
ongruen
nite
figure
rigid
onstraint
arithmeti
step
quanti
substitution
approa
recursive
ial
stru
tive
ted
ability
ext
queue
queues
formula
instan
theorem
onne
solver
split
systems
tions
omplete
extra
logi
nodes
equational
年:
1999
语言:
english
文件:
PDF, 1.07 MB
您的标签:
0
/
0
english, 1999
3
Constraints and Language
Cambridge Scholars Publishing
Philippe Blache
,
Henning Christiansen
,
Veronica Dahl
,
Denys Duchier
,
Jorgen Villadsen
,
(eds.)
constraints
constraint
grammars
lexical
syntactic
sentence
first
context
linguistic
hapter
principle
parsing
chr
companionship
structures
sign
pronouns
figure
programming
linguistics
processing
syntax
input
interpretation
node
dependency
computational
category
analysis
consider
onstraints
approach
taggings
semantic
pronoun
theoretic
nodes
christiansen
grammatical
proceedings
abstraction
categories
defined
feature
linear
trees
specific
tagging
variables
editors
年:
2014
语言:
english
文件:
PDF, 2.24 MB
您的标签:
0
/
0
english, 2014
4
Entropy penalization methods for Hamilton-Jacobi equations
Gomes D.A.
,
Valdinoci E.
theorem
entropy
kl1
whi
xed
proposition
hamilton
mather
penalized
measures
penalization
diogo
enrico
valdinoci
jacobi
linear
osity
spa
onvergen
probability
bounded
periodi
assume
tions
equations
prove
uniformly
avity
exists
lemma
onstant
solution
dedu
uniqueness
desired
equation
onstraint
kd2
kxn
onstru
ontinuous
remark
elementary
expli
laim
minimizing
rst
solutions
cole
hopf
语言:
english
文件:
PDF, 496 KB
您的标签:
0
/
0
english
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×