搜索资源列表
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.