Maria Ines Camarate de Campos Lynce de Faria


AuthID: R-000-BN4

Confirmed Publications: 156



51
TITLE: Algorithms for computing backbones of propositional formulae  Full Text
AUTHORS: Janota, M; Lynce, I ; Marques Sliva, J ;
PUBLISHED: 2015, SOURCE: AI COMMUNICATIONS, VOLUME: 28, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 26 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
52
TITLE: Deterministic Parallel MaxSAT Solving  Full Text
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
53
TITLE: DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability PDF
AUTHORS: Miguel Neves; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.02408
INDEXED IN: DBLP arXiv
IN MY: DBLP
54
TITLE: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTHORS: Neves, M; Martins, R; Janota, M; Lynce, I ; Manquinho, V ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | DBLP | CIÊNCIAVITAE
55
TITLE: Exploiting Resolution-based Representations for MaxSAT Solving PDF
AUTHORS: Miguel Neves; Ruben Martins; Mikolás Janota; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.02405
INDEXED IN: DBLP arXiv
IN MY: DBLP
56
TITLE: Improving linear search algorithms with model-based approaches for MaxSAT solving  Full Text
AUTHORS: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLISHED: 2015, SOURCE: Journal of Experimental & Theoretical Artificial Intelligence, VOLUME: 27, ISSUE: 5
INDEXED IN: CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
57
TITLE: Improving linear search algorithms with model-based approaches for MaxSAT solving  Full Text
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2015, SOURCE: 20th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, VOLUME: 27, ISSUE: 5
INDEXED IN: Scopus WOS
58
TITLE: Improving linear search algorithms with model-based approaches for MaxSAT solving  Full Text
AUTHORS: Ruben Martins; Vasco Manquinho ; Inês Lynce ;
PUBLISHED: 2015, SOURCE: J. Exp. Theor. Artif. Intell., VOLUME: 27, ISSUE: 5
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
59
TITLE: Algorithms for computing minimal equivalent subformulas  Full Text
AUTHORS: Belov, A; Janota, M; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 216
INDEXED IN: Scopus WOS DBLP CrossRef: 8 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
60
TITLE: An ontology-based approach to conflict resolution in Home and Building Automation Systems  Full Text
AUTHORS: Camacho, R; Carreira, P; Lynce, I ; Resendes, S;
PUBLISHED: 2014, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 41, ISSUE: 14
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 6 of 16. Total results: 156.

footer slogan

Useful Links

Get Help

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