header
Image from OpenLibrary

A New automated integer based technique for solving systems of boolean equations / Ahmed Hamdy Ibrahim Abd El gawad ; Supervised Nevin Mahmoud Darwish , Amir Fouad Sorial Atiya

By: Contributor(s): Language: Eng Publication details: Cairo : Ahmed Hamdy Ibrahim Abd El gawad , 2006Description: 82P ; 30cmOther title:
  • اسلوب مميكن جديد يعتمد على الاعداد الصحيحة لحل انظمة المعادلات البوليانية [Added title page title]
Subject(s): Online resources: Available additional physical forms:
  • Issued also as CD
Dissertation note: Thesis (M.Sc.) - Cairo University - Faculty Of Engineering - Department Of Computer Engineering Summary: This thesis addresses the problem of Boolean satisfiability In particular , it presents a tool for solving the heart of the problem which is the solution of a system of Boolean equations by presenting a new method for the solution
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Call number Copy number Status Barcode
Thesis Thesis قاعة الرسائل الجامعية - الدور الاول المكتبة المركزبة الجديدة - جامعة القاهرة Cai01.13.06.M.Sc.2006.Ah.N (Browse shelf(Opens below)) Not for loan 01010110046582000
CD - Rom CD - Rom مخـــزن الرســائل الجـــامعية - البدروم المكتبة المركزبة الجديدة - جامعة القاهرة Cai01.13.06.M.Sc.2006.Ah.N (Browse shelf(Opens below)) 46582.CD Not for loan 01020110046582000

Thesis (M.Sc.) - Cairo University - Faculty Of Engineering - Department Of Computer Engineering

This thesis addresses the problem of Boolean satisfiability In particular , it presents a tool for solving the heart of the problem which is the solution of a system of Boolean equations by presenting a new method for the solution

Issued also as CD

There are no comments on this title.

to post a comment.