62

31

31
2016
Pending Claim A logical characterization of extensive games with short sight

THEORETICAL COMPUTER SCIENCE

7 0
Views Downloads
Pending Claim New local search methods for partial MaxSAT

ARTIFICIAL INTELLIGENCE

8 0
Views Downloads
2015
Pending Claim CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015

9 0
Views Downloads
Pending Claim A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games

PRIMA 2015: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS

9 0
Views Downloads
Pending Claim Two weighting local search for minimum vertex cover

29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015

7 0
Views Downloads
Pending Claim Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation

COMPUTER JOURNAL

8 0
Views Downloads
Pending Claim Lower and Upper Bounds for Random Mimimum Satisfiability Problem

FRONTIERS IN ALGORITHMICS (FAW 2015)

8 0
Views Downloads
Pending Claim TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation

30th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW)

13 0
Views Downloads
Pending Claim CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability

IEEE TRANSACTIONS ON COMPUTERS

10 0
Views Downloads
Pending Claim Clause states based configuration checking in local search for satisfiability

ieee transactions on cybernetics

20 0
Views Downloads
2014
Pending Claim Tailoring local search for partial MaxSAT
18 0
Views Downloads
Pending Claim Preference dynamics in games with short sight

applied mathematics and computation

21 4
Views Downloads
Pending Claim More efficient two-mode stochastic local search for random 3-satisfiability

applied intelligence

19 3
Views Downloads
Pending Claim Scoring Functions Based on Second Level Score for k-SAT with Long Clauses

journal of artificial intelligence research

15 0
Views Downloads
2013
Pending Claim FWLS: A local search for graph coloring
17 0
Views Downloads
Pending Claim 电子商务支付协议认证性的SVO逻辑验证

计算机工程与应用

102 5
Views Downloads
Pending Claim A Logic for Extensive Games with Short Sight
35 0
Views Downloads
Pending Claim NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover

journal of artificial intelligence research

33 0
Views Downloads
2012
Pending Claim Model checking cooperative multi-agent systems in BDI logic

journal of information and computational science

21 0
Views Downloads
Pending Claim The delayed BDD-based incremental heuristic search for efficient path replanning

international journal of advancements in computing technology

17 0
Views Downloads
Pending Claim A complete first-order temporal BDI logic for forest multi-agent systems

knowledge based systems

23 3
Views Downloads
2011
Pending Claim Large hinge width on sparse random hypergraphs
21 0
Views Downloads
Pending Claim Verification of web service protocols by logic of knowledge

journal of information and computational science

23 0
Views Downloads
Pending Claim 一种基于认知模型检测的Web服务组合验证方法

计算机学报

88 3
Views Downloads
Pending Claim Polynomial-time hierarchy of computable reals

journal of computational information systems

20 0
Views Downloads
Pending Claim Local Search with Configuration Checking for SAT
14 0
Views Downloads
2010
Pending Claim EWLS: A new local search for Minimum Vertex Cover
26 0
Views Downloads
Pending Claim 可满足赋值算子的设计与实现

计算机工程与科学

103 3
Views Downloads
Pending Claim 一种求解认知难题的模型检测方法

计算机学报

92 2
Views Downloads
Pending Claim 有界模型检测和串空间模型相结合的安全协议验证

小型微型计算机系统

122 5
Views Downloads
Pending Claim A model checking approach for solving epistemic riddles

jisuanji xuebaochinese journal of computers

12 0
Views Downloads
Pending Claim A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems

knowledge based systems

15 3
Views Downloads
2009
Pending Claim Knowware: The third star after hardware and software
26 0
Views Downloads
Pending Claim 有界模型检测的优化

软件学报

117 3
Views Downloads
Pending Claim Optimization of bounded model checking

ruan jian xue baojournal of software

22 0
Views Downloads
Pending Claim 利用OBDD编码的快速二值图算法

计算机科学与探索

105 3
Views Downloads
Pending Claim Variable Forgetting in Reasoning about Knowledge

journal of artificial intelligence research

19 0
Views Downloads
2008
Pending Claim The automatic verification and improvement of SET certificate registration protocols with SPV

jisuanji xuebaochinese journal of computers

21 0
Views Downloads
Pending Claim SET证书申请协议在SPV下的自动化验证及改进

计算机学报

114 5
Views Downloads
2007
Pending Claim A modal logic for beliefs and pro attitudes
27 0
Views Downloads
Pending Claim Model checking temporal logics of knowledge via OBDDs(1)

computer journal

20 0
Views Downloads
Pending Claim Primitive recursive real numbers
14 2
Views Downloads