搜索页_ Felip Manyà

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

常用资源

内部出版物

CNKI学位论文(2)

在“Elsevier电子期刊”中，命中：5条，耗时：0.0769647 秒

在所有数据库中总计命中：2条

1.Regular-SAT: A many-valued approach to solving combinatorial problems

作者：Ramó ; n B&#xe9 ; jar ; Felip Many&#xe0 ; Alba Cabiscol ; C&#xe8 ; sar Fern&#xe0 ; ndez ; Carla Gomes

关键词：Combinatorial problem solving ; Many-valued logic ; Satisfiability ; Solvers

刊名：Discrete Applied Mathematics

出版年：2007

2.Obtaining the three-dimensional structure of tree orchards from remote 2D terrestrial LIDAR scanning

作者：Joan R. Rosell ; Jordi Llorens ; Ricardo Sanz ; Jaume Arnó ; Manel Ribes-Dasi ; Joan Masip ; Alex ; re Escol&#xe0 ; Ferran Camp ; Francesc Solanelles ; Felip Gr&#xe0 ; cia ; Emilio Gil ; Luis Val ; Santiago Pla

关键词：Terrestrial LIDAR ; Laser measurements ; 3D Plant structure ; Tree volume ; Geometrical characteristics of plants ; Plant modelling

刊名：Agricultural and Forest Meteorology

出版年：2009

3.Resolution for Max-SAT

作者：Mar&#xed ; a Luisa Bonet ; Jordi Levy ; Felip Many&#xe0

关键词：Satisfiability ; Resolution ; Completeness ; Saturation ; Max-SAT ; Weighted Max-SAT

刊名：Artificial Intelligence

出版年：2007

4.Extending the Reach of SAT with Many-Valued Logics

作者：Ramó ; n Bejar ; Alba Cabiscol ; Cesar Fern&#xe1 ; ndez ; Felip Many&#xe0 ; Carla Gomes

关键词：satisfiability ; many-valued logics

刊名：Electronic Notes in Discrete Mathematics

出版年：2001

5.Exact Algorithms for MAX-SAT

作者：Hantao Zhang ; Haiou Shen ; Felip Many&#xe0

刊名：Electronic Notes in Theoretical Computer Science

出版年：2003

1

按检索点细分(5)

作者(4)

按出版年细分(5)

2009年(1)

2007年(2)

2003年(1)

2001年(1)

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.