Satisfiability Problem 1
bokomslag Satisfiability Problem
Data & IT

Satisfiability Problem

Dingzhu Du

Inbunden

4289:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 724 sidor
  • 1998
The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. This work features the applications of theoretical/algorithmic results to practical problems and presents practical examples for theoretical/algoritmic study.
  • Författare: Dingzhu Du
  • Format: Inbunden
  • ISBN: 9780821804797
  • Språk: Engelska
  • Antal sidor: 724
  • Utgivningsdatum: 1998-02-01
  • Förlag: American Mathematical Society

Du kanske gillar

  1. bokomslag Theoretical Computer Science

    Theoretical Computer Science

    Dingzhu Du, Lian Li, En Zhu, Kun He

    Pocket

    989:-
  2. bokomslag Structural Health Monitoring 2011

    Structural Health Monitoring 2011

    Fu-Kuo Chang

    Inbunden

    4289:-
  3. bokomslag Great Basin Evolution and Metallogeny

    Great Basin Evolution and Metallogeny

    William Pennell Roger Steininger

    Inbunden

    4289:-
  4. bokomslag Writings in the Social Philosophy and Ethics / Sozialphilosophische und ethische Schriften

    Writings in the Social Philosophy and...

    Carl H Ratschow Paul Tillich

    Inbunden

    4289:-
  5. bokomslag Handbook of Clinical Psychology, Volume 2

    Handbook of Clinical Psychology, Volu...

    Alan M Gross Michel Hersen

    Inbunden

    4289:-
  6. bokomslag Humanizing Online Teaching and Learning in Higher Education

    Humanizing Online Teaching and Learni...

    Shernette D Dunn Laura E Gray

    Inbunden

    4289:-
  7. bokomslag Design, Manufacturing and Applications of Composites

    Design, Manufacturing and Application...

    Suong Hoa, Hiroyuki Hamada, Nguyen Dinh Duc

    Pocket

    4289:-
  8. bokomslag Handbook of Clinical Psychology, Volume 1

    Handbook of Clinical Psychology, Volu...

    Alan M Gross Michel Hersen

    Inbunden

    4289:-
  9. bokomslag Minimax and Applications

    Minimax and Applications

    Panos M Pardalos Ding-Zhu Du

    Inbunden

    2819:-
  10. bokomslag Baran and Dawber's Diseases of the Nails and their Management

    Baran and Dawber's Diseases of the Na...

    Robert Baran, David A R De Berker, Mark Holzberg, Bianca Maria Piraccini, Bertrand Richert

    Inbunden

    4289:-

Andra av samma författare

  1. bokomslag Computing and Combinatorics

    Computing and Combinatorics

    Dachuan Xu, Donglei Du, Dingzhu Du

    Pocket

    989:-
  2. bokomslag Theoretical Computer Science

    Theoretical Computer Science

    Dingzhu Du, Lian Li, En Zhu, Kun He

    Pocket

    989:-