Prime Implicant Computation Using Satisfiability Algorithms

AuthID
P-001-CST
Document Type
Proceedings Paper
Year published
1997
Published
in NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS in PROCEEDINGS - INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, ISSN: 1082-3409
Pages: 232-239 (8)
Conference
9Th Ieee International Conference on Tools with Artificial Intelligence, Date: NOV 03-08, 1997, Location: NEWPORT BEACH, CA, Sponsors: IEEE Comp Soc, Tech Comm PAMI, Pan Amer Ctr Earth & Environm Studies
Indexing
Publication Identifiers
Dblp: conf/ictai/ManquinhoFSO97
Scopus: 2-s2.0-0031334557
Wos: WOS:A1997BJ93L00033
Source Identifiers
ISSN: 1082-3409
Export Publication Metadata
Marked List
Citations
Oops! It looks like you don't have access to this content.

This section is restricted to uses with b-on access.



CORE Conference
No information about CORE Rank

During the preprocessing phase, only publications of type 'Proceedings Paper' or 'Proceedings' are automatically processed to identify their CORE Rank.

TIP: If your publication's CORE Rank is missing, you can contact with your institutional manager to have the correct ranking manually added to the record.

Journal Factors
Oops! It looks like you don't have access to this content.

This section is restricted to uses with b-on access.

Info
At this moment we don't have any links to full text documens.