Publicações

Prime Implicant Computation Using Satisfiability Algorithms

AuthID
P-001-CST

Author(s)

Manquinho, VM

Flores, PF

Silva, JPM

Oliveira, AL

Editor(s)

Anon

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