Informatics and Mathematical Modelling, The Technical University of Denmark, Richard Petersens Plads, Bldg. 322, DK-2800 Kgs. Lyngby, Denmark;
satisfiability; non-clausal propositional logic; zero-one linear constraint systems; proof search; acceleration techniques;
机译:线性逻辑证明搜索的有效资源管理
机译:侧重于结构中的线性逻辑的重点证明
机译:关于一阶线性逻辑的结构证明搜索
机译:高效SAT引擎,用于简洁逻辑:加速证明搜索零一个线性约束系统
机译:SLG-WAM:一种搜索有效的引擎,用于对常规逻辑程序进行有根据的评估。
机译:粒子群优化动态变异人工免疫系统和引力搜索算法辅助的线性约束最小方差自适应波束成形的空转向
机译:用于简明逻辑的高效saT引擎:加速零搜索线性约束系统的证明搜索