搜索页_+SAT+solving

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

GSW全文库(25)	馆藏书目(3)	万方学术会议(1)	CNKI学位论文(13819)	知网期刊论文(4928)
中国地质文献-英文(5)	Springer电子图书(28)	CNKI会议论文(16)	CNKI期刊论文0611(17)

在“SpringerLink电子期刊”中，命中：1,775条，耗时：0.0249878 秒

在所有数据库中总计命中：18,842条

1. Improving configuration checking for satisfiable random k-SAT instances

作者： André Abramé ; Djamal Habet…

关键词：Local search ; Configuration checking ; Novelty heuristic ; Random k ; SAT

刊名：Annals of Mathematics and Artificial Intelligence

出版年：2017

2. Beyond the structure of SAT formulas

作者： Jesús Giráldez-Cru

刊名：Constraints

出版年：2017

3. A Neural Network Approach for Solving a Class of Fractional Optimal Control Problems

作者： Javad Sabouri K. ; Sohrab Effati ; Morteza Pakdaman

关键词：Fractional optimal control problem ; Volterra integral equation ; Perceptron neural networks ; Unconstrained optimization

刊名：Neural Processing Letters

出版年：2017

4. Solving the clinker dilemma with hybrid output-based allocation

作者： Frédéric Branger ; Misato Sato

刊名：Climatic Change

出版年：2017

5. Experimental Validation of Extended Stratification Model Part B: Coal-Ash Segregation Studies in a Batch Jig Operation

作者： B. Venkoba Rao ; G. Jeelan ; Satish Shirke…

关键词：Extended stratification model ; Size ; density separation ; Batch jig ; Partition surface

刊名：Transactions of the Indian Institute of Metals

出版年：2017

6. Effect of thickness stretching and porosity on mechanical response of a functionally graded beams resting on elastic foundations

作者： Hassen Ait Atmane ; Abdelouahed Tounsi…

关键词：Functionally graded materials ; Free vibration ; Sandwich beam ; Refined beam theory ; Navier solution

刊名：International Journal of Mechanics and Materials in Design

出版年：2017

7. Outer-Inner Approximation Projection Methods for Multivalued Variational Inequalities

作者： Pham Ngoc Anh ; Le Thi Hoai An

关键词：Multivalued variational inequalities ; Upper semicontinuous ; Linesearch ; Projection method

刊名：Acta Mathematica Vietnamica

出版年：2017

8. The physics of software tools: SWOT analysis and vision

作者： Bernhard Steffen

关键词：Validation tools ; Tool profiles ; Conceptual design ; SWOT analysis ; Open source ; Internet ; Exchange platform ; Tool competitions

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

9. The Effect of the Consistent Mass Matrix on the Maximum-Principle for Scalar Conservation Equations

作者： Jean-Luc Guermond ; Bojan Popov ; Yong Yang

关键词：Consistent mass matrix ; Maximum principle ; Mass lumping ; Nonlinear conservation equations ; Finite element method

刊名：Journal of Scientific Computing

出版年：2017

10. Using mathematical methods for designing optimal mixtures for building bricks prepared by solid industrial waste

作者： Eliane Wolff ; Wilfrid Keller Schwabe…

关键词：Water treatment plant sludge ; Building bricks ; Mixture design ; Combination of variables ; Pulp mill

刊名：Clean Technologies and Environmental Policy

出版年：2017

按检索点细分(1775)

题名(104)

关键词(37)

文摘(1428)

按出版年细分(1775)

2017年(18)

2016年(119)

2015年(131)

2014年(154)

2013年(167)

2012年(151)

2011年(31)

2010年(60)

2009年(86)

2008年(110)

2007年(157)

2006年(160)

2005年(148)

2004年(41)

2003年(48)

2002年(53)

2001年(37)

2000年(32)

2000年及以前(70)

其它(2)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700