Proff of the NP-Completeness of the 3-SAT problem

相 关 资 源

• Proff of the NP-Completeness of the 3-SAT problem免费下载

  资源简介：Proff of the NP-Completeness of the 3-SAT problem

  标签： NP-Completeness the problem Proff

  上传时间： 2017-04-13

  上传用户：czl10052678

• the third edition of Learning GNU Emacs describes Emacs 21.3 from the ground up, including new user免费下载

  资源简介：the third edition of Learning GNU Emacs describes Emacs 21.3 from the ground up, including new user interface features such as an icon-based toolbar and an interactive interface to Emacs customization. A new chapter details how to install a...

  标签： Emacs describes including Learning

  上传时间： 2015-08-29

  上传用户：caixiaoxu26

• This book contains a detailed analysis of the International Standard for the C language,-3.1 excludi免费下载

  资源简介：This book contains a detailed analysis of the International Standard for the C language,-3.1 excluding the library from a number of perspectives. the organization of the material is unusual in that it is based on the actual text of the pu...

  标签： International the Standard analysis

  上传时间： 2015-09-15

  上传用户：13188549192

• 这是一个模拟第3类模式地震波的matlab脚本。 This a collection of Matlab scripts that solve the antiplane (mode III)免费下载

  资源简介：这是一个模拟第3类模式地震波的matlab脚本。 This a collection of Matlab scripts that solve the antiplane (mode III) earthquake dynamic problem with slip-weakening friction, on a 1D fault embedded in a 2D homogeneous elastic unbounded med...

  标签： collection antiplane scripts matlab

  上传时间： 2013-12-26

  上传用户：远远ssad

• This the 8th release of PicoBlaze for Spartan-3, Spartan-3E Virtex-II, Virtex-IIPro and Virtex-4 d免费下载

  资源简介：This the 8th release of PicoBlaze for Spartan-3, Spartan-3E Virtex-II, Virtex-IIPro and Virtex-4 devices by Picoblaze

  标签： Spartan Virtex-IIPro PicoBlaze Virtex-II

  上传时间： 2016-02-08

  上传用户：cccole0605

• A comprehensive code to regulate the LCD backlight of a BREW 3.1. mobile. Used to emulate a torchlig免费下载

  资源简介：A comprehensive code to regulate the LCD backlight of a BREW 3.1. mobile. Used to emulate a torchlight from a screen of a Siemens SXG75.

  标签： comprehensive backlight regulate torchlig

  上传时间： 2014-01-12

  上传用户：cjl42111

• 1. Learn the basic constructs of VHDL 2. Learn the modeling structure of VHDL 3. Understand the de免费下载

  资源简介：1. Learn the basic constructs of VHDL 2. Learn the modeling structure of VHDL 3. Understand the design environments – Simulation – Synthesis

  标签： the Learn VHDL Understand

  上传时间： 2017-02-18

  上传用户：love_stanford

• DRIVER FOR UPDATING the QR DECOMPOSITION OF A 4 BY 3 MATRIX免费下载

  资源简介：DRIVER FOR UPDATING the QR DECOMPOSITION OF A 4 BY 3 MATRIX

  标签： DECOMPOSITION UPDATING DRIVER MATRIX

  上传时间： 2014-11-11

  上传用户：tb_6877751

• This Delphi 4.0 example uses the MapX Ver 4.0 OCX Control. the main goal of this example is to sho免费下载

  资源简介：This Delphi 4.0 example uses the MapX Ver 4.0 OCX Control. the main goal of this example is to show the use of the new object editing capabilities in MapX Ver 3.51. the program show how to perform functions such as adding a new layer ad...

  标签： example 4.0 Control Delphi

  上传时间： 2015-04-10

  上传用户：lhc9102

• This packet is a IS-95 baseband simulation for 1 data channel of 9.6 KBps rate. the simulation is wr免费下载

  资源简介：This packet is a IS-95 baseband simulation for 1 data channel of 9.6 KBps rate. the simulation is written for static channel and AWGN noise. the packet include: 1) Packet Builder (Viterbi Encoding, Interleaver, PN generation) 2) Modula...

  标签： simulation baseband channel packet

  上传时间： 2014-11-09

  上传用户：hwl453472107

• Cracking the Code - Wireless Programming with J2ME This book is based on the unique concept of cr免费下载

  资源简介：Cracking the Code - Wireless Programming with J2ME This book is based on the unique concept of cracking the code and mastering the technology.the technologies covered are J2ME version 1.0.2 and the applications are also tested on versi...

  标签： Programming the Cracking Wireless

  上传时间： 2015-08-20

  上传用户：fhzm5658

• his packet is a IS-95 baseband simulation for 1 data channel of 9.6 KBps rate. the simulation is w免费下载

  资源简介：his packet is a IS-95 baseband simulation for 1 data channel of 9.6 KBps rate. the simulation is written for static channel and AWGN noise. the packet include: 1) Packet Builder (Viterbi Encoding, Interleaver, PN generation) 2) Modulat...

  标签： simulation baseband channel packet

  上传时间： 2013-12-23

  上传用户：zhangyigenius

• Preparation of a function, even to the importation of n, the function call seeking +1/n 1/2+1/4+ ...免费下载

  资源简介：Preparation of a function, even to the importation of n, the function call seeking +1/n 1/2+1/4+ .... When n is odd input, the function call 1/1+1/3+ ... +1/n (using function pointer)

  标签： function Preparation importation the

  上传时间： 2014-01-21

  上传用户：semi1981

• HDOJ 1047 One of the first users of BIT s new supercomputer was Chip Diller. He extended his explor免费下载

  资源简介：HDOJ 1047 One of the first users of BIT s new supercomputer was Chip Diller. He extended his exploration of powers of 3 to go from 0 to 333 and he explored taking various sums of those numbers. ``This supercomputer is great, remarked Chi...

  标签： supercomputer extended Diller explor

  上传时间： 2013-12-22

  上传用户：黑漆漆

• HDOJ ACM input:the input consists of T test cases. the number of test cases ) (T is given in the fi免费下载

  资源简介：HDOJ ACM input:the input consists of T test cases. the number of test cases ) (T is given in the first line of the input. Each test case begins with a line containing an integer N , 1<=N<=200 , that represents the number of tables to move....

  标签： input cases test the

  上传时间： 2015-10-18

  上传用户：三人用菜

• Input the input contains blocks of 2 lines. the first line contains the number of sticks parts afte免费下载

  资源简介：Input the input contains blocks of 2 lines. the first line contains the number of sticks parts after cutting, there are at most 64 sticks. the second line contains the lengths of those parts separated by the space. the last line of the fil...

  标签： contains the blocks number

  上传时间： 2015-10-27

  上传用户：lepoke

• Input the input consists of two lines. the first line contains two integers n and k which are the l免费下载

  资源简介：Input the input consists of two lines. the first line contains two integers n and k which are the lengths of the array and the sliding window. there are n integers in the second line. Output there are two lines in the output. the fi...

  标签： the two consists contains

  上传时间： 2014-12-21

  上传用户：hongmo

• This packet is a IS-95 baseband simulation for 1 data channel of 9.6 KBps rate. the simulation is免费下载

  资源简介：This packet is a IS-95 baseband simulation for 1 data channel of 9.6 KBps rate. the simulation is written for static channel and AWGN noise. the packet include: 1) Packet Builder (Viterbi Encoding, Interleaver, PN generation) 2) Modula...

  标签： simulation baseband channel packet

  上传时间： 2014-12-20

  上传用户：ukuk

• the combinatorial core of the OVSF code assignment problem that arises in UMTS is to assign some no免费下载

  资源简介：the combinatorial core of the OVSF code assignment problem that arises in UMTS is to assign some nodes of a complete binary tree of height h (the code tree) to n simultaneous connections, such that no two assigned nodes (codes) are on th...

  标签： combinatorial assignment problem arises

  上传时间： 2014-01-19

  上传用户：BIBI

• Playfair Cipher 1.not even the large number of keys in a monoalphabetic cipher provides security 2免费下载

  资源简介：Playfair Cipher 1.not even the large number of keys in a monoalphabetic cipher provides security 2.one approach to improving security was to encrypt multiple letters 3.the Playfair Cipher is an example 4.invented by Charles Wheatstone i...

  标签： monoalphabetic Playfair provides security

  上传时间： 2017-05-25

  上传用户：变形金刚

• Its very useful ant java developers Create it at the top level of your project directory (New -->免费下载

  资源简介：Its very useful ant java developers Create it at the top level of your project directory (New --> File, create as a simplefile) and name it build.xml. Copy and paste the xml text from Figure 3 into your build.xml file and save it.

  标签： developers directory project Create

  上传时间： 2014-01-26

  上传用户：lifangyuan12

• the second edition of this popular book has been completely updated to add the new features of the J免费下载

  资源简介：the second edition of this popular book has been completely updated to add the new features of the Java Servlet API Version 2.2, and new chapters on servlet security and advanced communication. In addition to completely covering the 2.2 spe...

  标签： completely the features edition

  上传时间： 2017-09-07

  上传用户：wang5829

• the Ten Commandments of Excellent Design - fpga免费下载

  资源简介：the Ten Commandments of Excellent Design - fpga。硬件描述语言注意事项

  标签： Commandments Excellent Design fpga

  上传时间： 2013-08-24

  上传用户：AbuGe

• source code to compute the visibility polygon of a point in a polygon.免费下载

  资源简介：source code to compute the visibility polygon of a point in a polygon.

  标签： polygon visibility compute source

  上传时间： 2015-01-09

  上传用户：wpt

• CHM decompiler is a program that converts the internal files of CHM files back into the HHP, HHC, an免费下载

  资源简介：CHM decompiler is a program that converts the internal files of CHM files back into the HHP, HHC, and HHK, etc. used to compile the documentation. CHM decompiler是一个把CHM 文件的内部文件转换成 HHP, HHC,和HHK等的程序。它用于编译文件。

  标签： files decompiler CHM the

  上传时间： 2015-01-10

  上传用户：myworkpost

• Tug of War(A tug of war is to be arranged at the local office picnic. For the tug of war, the picnic免费下载

  资源简介：Tug of War(A tug of war is to be arranged at the local office picnic. For the tug of war, the picnickers must be divided into two teams. Each person must be on one team or the other the number of people on the two teams must not differ by m...

  标签： picnic the tug war

  上传时间： 2014-01-07

  上传用户：离殇

• the project demonstrates many Windows common controls, including the extensive use of image lists. T免费下载

  资源简介：the project demonstrates many Windows common controls, including the extensive use of image lists. the project was used in the book "the Revolutionary Guide To MFC 4 Programming With Visual C++", published by Wrox Press.

  标签： demonstrates including extensive controls

  上传时间： 2015-01-30

  上传用户：zhengjian

• computes the square root of a 16 bit number in pic16c免费下载

  资源简介：computes the square root of a 16 bit number in pic16c

  标签： computes square number 16

  上传时间： 2015-02-07

  上传用户：wangdean1101

• a very simple program that prints "Hello World" to the serial port of the 8051. When you can success免费下载

  资源简介：a very simple program that prints "Hello World" to the serial port of the 8051. When you can successfully build and run this program, you have used the entire toolset including:

  标签： the program success simple

  上传时间： 2013-11-26

  上传用户：stampede

• enumerates Plug-n-Play RS-232 devices that are compliant with the current revision of Plug and Play免费下载

  资源简介：enumerates Plug-n-Play RS-232 devices that are compliant with the current revision of Plug and Play External COM Device.

  标签： Plug-n-Play enumerates compliant revision

  上传时间： 2015-03-29

  上传用户：gdgzhym