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