AC complement problems: Satisfiability and negation elimination (Q677036)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: AC complement problems: Satisfiability and negation elimination |
scientific article; zbMATH DE number 994046
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | AC complement problems: Satisfiability and negation elimination |
scientific article; zbMATH DE number 994046 |
Statements
AC complement problems: Satisfiability and negation elimination (English)
0 references
23 March 1997
0 references
functional programs
0 references
complement problems
0 references
0.9332132935523988
0 references
