Satisfiability testing with more reasoning and less guessing

LDR 01334nam a2200349Ia 4500
001 008308180
003 MiAaHDL
005 20111212000000.0
006 m d
007 cr bn ---auaua
008 961210e19950421caua bt s000 0 eng d
035 ⊔ ⊔ ‡asdr-ucsc.b19168755
040 ⊔ ⊔ ‡aCUZ ‡cCUZ
049 ⊔ ⊔ ‡aCUZC
090 ⊔ ⊔ ‡aQA75.5 ‡b.T43 1995-34
035 ⊔ ⊔ ‡a(OCoLC)36062498
100 1 ⊔ ‡aVan Gelder, Allen
245 1 0 ‡aSatisfiability testing with more reasoning and less guessing / ‡cAllen Van Gelder, Yumi K. Tsuji
260 ⊔ ⊔ ‡aSanta Cruz, CA (Applied Sciences Bldg., University of California, Santa Cruz, Santa Cruz 95064) : ‡bComputer Research Laboratory, [University of California, Santa Cruz, ‡c1995]
300 ⊔ ⊔ ‡a24 p. : ‡bill. ; ‡c28 cm
490 0 ⊔ ‡aTechnical report / Computer Research Laboratory, UCSC ; ‡vUCSC- CRL-95-34
538 ⊔ ⊔ ‡aMode of access: Internet.
650 ⊔ 0 ‡aReasoning
650 ⊔ 0 ‡aMathematics ‡xFormulae ‡xComputer simulation
650 ⊔ 0 ‡aComputer algorithms
700 1 ⊔ ‡aTsuji, Yumi
710 2 ⊔ ‡aUniversity of California, Santa Cruz. ‡bComputer Research Laboratory
CID ⊔ ⊔ ‡a008308180
DAT 0 ⊔ ‡a19961210055707.0 ‡b20111212000000.0
DAT 1 ⊔ ‡a20120815095258.0 ‡b2024-05-04T17:55:11Z
CAT ⊔ ⊔ ‡aSDR-UCSC ‡dIII - MILLENIUM ‡lloader.pl-001-001
FMT ⊔ ⊔ ‡aBK
HOL ⊔ ⊔ ‡0sdr-ucsc.b19168755 ‡auc1 ‡bSDR ‡cUCSC ‡puc1.32106013469868 ‡sUC ‡1.b19168755
974 ⊔ ⊔ ‡bUC ‡cUCSC ‡d20240504 ‡sgoogle ‡uuc1.32106013469868 ‡y1995 ‡ric ‡qbib ‡tUS bib date1, date type e >= 1929