Adaptive Application of SAT Solving Techniques

机译：SAT解决技术的自适应应用

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Shacham Ohad; Yorav Karen;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Solving the Employee Timetabling Problem Using Advanced SAT & ILP Techniques [J] . Fadi A. Aloul, Syed Z. H. Zahidi, Anas Al-Farra, Journal of Computers . 2013,第4期

机译：使用先进的SAT和ILP技术解决员工时间表问题
2. Incremental Solving Techniques for SAT-based ATPG [J] . Tille D., Eggersglus S., Drechsler R. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2010,第7期

机译：基于SAT的ATPG的增量求解技术
3. Application of a Krylov subspace iterative method in a multi-level adaptive technique to solve the mild-slope equation in nearshore regions [J] . Filipa Simoes Brito Ferreira Oliveira Applied Mathematical Modelling . 2007,第4期

机译：Krylov子空间迭代法在多级自适应技术中求解近岸缓坡方程的应用
4. Datamining techniques and swarm intelligence for problem solving: Application to SAT [C] . Drias Habiba, Hireche Celia, Douib Ameur World Congress on Nature and Biologically Inspired Computing . 2013

机译：数据挖掘技术和群体智能解决问题：在SAT中的应用
5. A study of approximation techniques for incremental SAT and MAX-SAT. [D] . Wang, Chonghai. 2005

机译：增量SAT和MAX-SAT近似技术的研究。
6. Denoising techniques in adaptive multi-resolution domains with applications to biomedical images [O] . Salim Lahmiri 2017

机译：自适应多分辨率域中的去噪技术及其在生物医学图像中的应用
7. On estimating total time to solve SAT in distributed computing environments: Application to the SAT@home project [O] . Semenov, Alexander, Zaikin, Oleg 2013

机译：关于估算分布式计算中解决saT的总时间环境：应用于saT @ home项目

Adaptive Application of SAT Solving Techniques

著录项

引文网络

相似文献

相关主题

期刊订阅