Special issue: Satisfiability in the year 2000

DOI10.1023/A:1006338702529MaRDI QIDQ1581846zbMATH OpenOpenAlexFDO

Authors

Publication date 18 February 2001

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1006338702529

zbMATH Keywords

SatisfiabilitySpecial issue

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Review text

The articles of this volume will be reviewed individually.

Cited in

(3)

• scientific article; zbMATH DE number 1438760 (Why is no real title available?)
• Mathematical and technological computability
• Was the Year 2000 a Leap Year? Step-Wise Narrowing Theories with Metagol

This page was built for publication: Special issue: Satisfiability in the year 2000

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1581846)