Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publications Requiring Validation

21
TITLE: Search pruning conditions for Boolean Optimization
AUTHORS: Manquinho, VM; Marques Silva, J ;
PUBLISHED: 2000, SOURCE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
INDEXED IN: WOS DBLP
Page 3 of 3. Total results: 21.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service