Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 152



151
TITLE: Stochastic Systematic Search Algorithms for Satisfiability
AUTHORS: Inês Lynce ; Luís Baptista; João Marques Silva ;
PUBLISHED: 2001, SOURCE: Electron. Notes Discret. Math., VOLUME: 9
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
152
TITLE: Towards Provably Complete Stochastic Search Algorithms for Satisfiability
AUTHORS: Inês Lynce ; Luís Baptista; João P Marques Silva ;
PUBLISHED: 2001, SOURCE: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, VOLUME: 2258
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 16 of 16. Total results: 152.

footer slogan

Useful Links

Get Help

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