【摘 要】
：
OK库是一个开源数据库,被用于支持广义SAT问题领域的研究和发展,该库可从下述网址获得:http://www.ok-sat-library.org..本文中我们讨论了这个数据库的发展历史、开发动机和
论文部分内容阅读
OK库是一个开源数据库,被用于支持广义SAT问题领域的研究和发展,该库可从下述网址获得:http://www.ok-sat-library.org..本文中我们讨论了这个数据库的发展历史、开发动机和组成架构,并概述了其当前的状况.文章解释了它与现有其它平台的差别:在我们看来,OK库的方法是“整体性”的,也即OK库不仅包含程序代码,也包括用于处理和评价实验(以及实验结果本身)的研究计划和方法.因此可以把OK库理解为IRE,即集成研究环境(但它并非只是构建一个单独的集成块,而是基于Unix/Linux传统的工具箱).“广义可满足性问题”被理解为SAT问题向CSP的推广,本文中讨论了其中的基本思路.作为结束,本文阐述了解决高级核心SAT的(我们所认为的)十个基本研究问题.
其他文献
循环经济理论是一个较新的概念,它的应用对钢铁企业有着相当重要的意义,对于缓解我国钢铁企业当今面临的一系列能源、环境污染等方面的问题起着至关重要的作用.文章从管理学
开展公共管理硕士专业学位教育 ,是在职公务员系统学习现代行政管理理论 ,并结合实践提高行政管理水平 ,加强能力建设的重大举措 ,有利于优化公务员队伍的学历结构、知识结构
我心里第一次 产生了对妻子的怨恨 2002年初，妻子在和我冷战大半年后终于向我坦言，她爱上了另一个男人，但那个男人因为离婚的事久拖不决，一气之下离开了海口。他们的关系完了，彻底完了。她要我发落她，不管怎么样，她都接受。 那个男人叫李志，是一名经济期刊的编辑，曾经是我很好的朋友。就在妻子告诉我这件事情之前，我已经听到有人讲她和李志的故事，但我从没有主动问过她什么，我希望的是她能亲自告诉我。
结良缘油田庆喜,创大业津门增辉。李瑞环让在最艰苦地方工作的人,最光荣最受尊敬。“女儿毕业于天津师范大学,已回油田成了一名中学语文老师,妻子吴淑兰在滨海街道办工作,我
马克思经济学的突出特征是创立了内容丰富的交换(流通)理论.文章认为交换关系是马克思所强调的研究对象和贯穿始终的线索,是马克思经济理论体系展开的基础.从交换的角度,可以
语力逻辑系统既包括本体层面,与真及成真条件有关,也包括认知层面,与以言行事的语力和行为有关.语力逻辑系统可以通过往标准的逻辑系统中添加施事性算子而得到.通过提供一个
企业的安全培训工作如果形式很新颖,内容很丰富,但培训的针对性不强,没有摸准培训对象的“口味”因材施教、因需施教,即使培训力度再大,投入精神再多,也难以调动起培训对象的
土地整治项目规划设计是土地整治活动中的一个至关重要的环节,通过规划设计,确定项目的规模、位置、新增耕地面积、工程内容等建设任务目标,并对土地平整、农田水利、田间道
我国目前的学位类型有两种,一种是学术性学位,或称科学学位,主要针对教学、科研岗位培养学术型人才.
如果不是挚爱，人们怎么能听到树木的“叹息”；如果不是痴迷，荒凉的济州岛怎么能是变成盆栽庭院；如果不是奇迹，一位普通的韩国农民怎么能成为“民间大使”。 成范永，正是这样一个挚爱树木的人，一个痴迷荒岛的人，一个创造盆栽奇迹的人。“以我一介农夫之力，建造盆栽园不是一件容易的事。我只是凭着我的爱心与执着，抱着为树木寻求一张美丽面孔的愿望，希望大自然的美丽，能把不同国籍、不同民族的心联结在一起。”成范永说