设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(7)
CNKI学位论文(18)
知网期刊论文(21)
在“
SpringerLink电子期刊
”中,
命中:
100
条,耗时:小于0.01 秒
在所有数据库中总计命中:
46
条
1.
Learning discrete decomposable graphical models via constraint optimization
作者:
Tomi Janhunen
;
Martin Gebser
;
Jussi Rintanen
;
Henrik Nyman…
关键词:
Graphical models
;
Structure learning
;
Constraint programming
;
Satisfiability
;
MAXSAT
;
Answer set programming
刊名:Statistics and Computing
出版年:2017
2.
Exploiting subproblem optimization in SAT-based
MaxSAT
algorithms
作者:
Carlos Ansótegui
;
Joel Gabàs
;
Jordi Levy
关键词:
Constraint optimization
;
Satisfiability
;
Maximum Satisfiability
刊名:Journal of Heuristics
出版年:2016
3.
Quantified maximum satisfiability
作者:
Alexey Ignatiev
;
Mikoláš Janota
;
Joao Marques-Silva
关键词:
Quantified Boolean formula
;
Optimization
;
SAT
;
MaxSAT
;
Smallest MUS/MES
刊名:Constraints
出版年:2016
4.
Impact of SAT-Based Preprocessing on Core-Guided
MaxSAT
Solving
刊名:Lecture Notes in Computer Science
出版年:2016
5.
LMHS: A SAT-IP Hybrid
MaxSAT
Solver
刊名:Lecture Notes in Computer Science
出版年:2016
6.
On Incremental Core-Guided
MaxSAT
Solving
刊名:Lecture Notes in Computer Science
出版年:2016
7.
On a Relative
MaxSAT
Encoding for the Steiner Tree Problem in Graphs
关键词:
Boolean satisfiability
;
SAT encodings
;
MaxSAT
encodings
;
Relative encoding
;
Steiner Tree
刊名:Lecture Notes in Computer Science
出版年:2015
8.
Monte-Carlo Tree Search for the Maximum Satisfiability Problem
刊名:Lecture Notes in Computer Science
出版年:2016
9.
Pakota: A System for Enforcement in Abstract Argumentation
刊名:Lecture Notes in Computer Science
出版年:2016
10.
Multi-language evaluation of exact solvers in graphical model discrete optimization
作者:
Barry Hurley
;
Barry O’Sullivan
;
David Allouche
;
George Katsirelos…
刊名:Constraints
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(100)
题名(49)
关键词(12)
文摘(95)
按出版年细分(100)
2017年(1)
2016年(9)
2015年(12)
2014年(15)
2013年(15)
2012年(22)
2011年(3)
2010年(2)
2009年(5)
2008年(6)
2007年(2)
2006年(3)
2005年(5)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.