搜索资源列表
dianzhitaili
- 用pascal编一个年历具体要求是:设计电子月历的程序 一、任务内容(task) 1.设计的程序应具有以下功能: (1)任意输入某年的某一月份,屏幕应能显示该月的月历; (2)应允许多次从键盘输入某月份,并自行设置结束标志。 (3)如在屏幕上输入2007年12月份的信息,屏幕的显示形式如下: month Sun. Mon. Tue. Wed. Thu. Fri. Sat. 12 1 2 3 4 5 6 7 8 9 10 11 12 13 14
CAMBIOS-JULIO-2012-(SAT)
- programa para trabjar en red en paradox
SAT
- SAT问题也称为合取范式的可满足问题,一个合取范式形如:A1∧A2∧…∧An,子句Ai(1≤i≤n)形如:a1∨a2∨…∨ak,其中ai为文字,为某一布尔变量或该布尔变量的非。SAT问题是指:是否存在一组对所有布尔变量的赋值(TRUE或FALSE),使得整个合取范式取指为真。-SAT problem, also known as conjunctive normal to meet a conjunctive normal form: A1 ∧ A2 ∧ ... ∧ An clause Ai (
F90_18_05_2013-maz
- decrpted for other sat models
sat
- Source code for clock working in time multiplex
CAD-Import-VCL-6.1
- source code provided library for using in Delphi and C++Builder applications. 2D and 3D CAD formats, including AutoCAD® DWG/DXF, Autodesk® DWF, Hewlett-Packard® HPGL/HPGL2, PLT, HGL, STEP, IGES, STL, ACIS SAT, BREP, CGM, SVG etc. are supp
xuezhang
- 利用IWO和PSO求解MAX-3-SAT问题的比较研究 优化算法-A comparative study of solving MAX-3-SAT problem with IWO and PSO
CAD_Import_VCL_6.1
- Support of 3D formats: STEP, IGES, STL, ASIS SAT and BREP; Tsg3DNavigator component for displaying 3D files; - Processing of splitted line types is improved.