81
TITLE: Boolean lexicographic optimization: algorithms & applications  Full Text
AUTHORS: Marques Silva, J ; Argelich, J; Graca, A; Lynce, I ;
PUBLISHED: 2011, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 62, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef: 47 Unpaywall
82
TITLE: Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2011, SOURCE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
INDEXED IN: Scopus WOS DBLP CrossRef: 10
83
TITLE: Haplotype inference using propositional satisfiability
AUTHORS: Graca, A; Marques Silva, J ; Lynce, I ;
PUBLISHED: 2011, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXED IN: Scopus CrossRef: 1
84
TITLE: Haplotype Inference Using Propositional Satisfiability
AUTHORS: Ana Graça; João Marques Silva ; Inês Lynce ;
PUBLISHED: 2011, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXED IN: DBLP Unpaywall
85
TITLE: Haplotype inference with pseudo-Boolean optimization  Full Text
AUTHORS: Graca, A; Marques Silva, J ; Lynce, I ; Oliveira, AL ;
PUBLISHED: 2011, SOURCE: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems in ANNALS OF OPERATIONS RESEARCH, VOLUME: 184, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 12 Unpaywall
86
TITLE: On Improving MUS Extraction Algorithms
AUTHORS: Marques Silva, J ; Lynce, I ;
PUBLISHED: 2011, SOURCE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
INDEXED IN: Scopus WOS DBLP CrossRef: 31 Unpaywall
87
TITLE: Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011 PDF
AUTHORS: Conrad Drescher; Inês Lynce ; Ralf Treinen;
PUBLISHED: 2011, SOURCE: LoCoCo, VOLUME: 65
INDEXED IN: DBLP arXiv
IN MY: DBLP
88
TITLE: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 107, ISSUE: 2-3
INDEXED IN: Scopus WOS DBLP
89
TITLE: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTHORS: Inês Lynce ; Joao Marques Silva;
PUBLISHED: 2011, SOURCE: Fundamenta Informaticae, VOLUME: 107, ISSUE: 2-3
INDEXED IN: CrossRef: 1 Unpaywall
90
TITLE: SAT solvers
AUTHORS: Joao Marques Silva ; Ines Lynce ;
PUBLISHED: 2011, SOURCE: Tractability, VOLUME: 9781107025196
INDEXED IN: Scopus CrossRef: 1
Page 9 of 16. Total results: 152.