111
TITLE: Restoring CSP Satisfiability with MaxSAT PDF
AUTHORS: Inês Lynce ; Joao Marques Silva ;
PUBLISHED: 2009, SOURCE: 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2009 in Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009, VOLUME: 589
INDEXED IN: Scopus DBLP
112
TITLE: Sequential Encodings from Max-CSP into Partial Max-SAT
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLISHED: 2009, SOURCE: 12th International Conference on Theory and Applications of Statisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, VOLUME: 5584
INDEXED IN: Scopus WOS DBLP CrossRef: 4
113
TITLE: Backtracking
AUTHORS: Inês Lynce ; Vasco M Manquinho; João Marques Silva ;
PUBLISHED: 2008, SOURCE: Wiley Encyclopedia of Computer Science and Engineering
INDEXED IN: DBLP CrossRef
114
TITLE: Boosting haplotype inference with local search  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ; Prestwich, S;
PUBLISHED: 2008, SOURCE: CONSTRAINTS, VOLUME: 13, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 11 Unpaywall
115
TITLE: CNF Instances from the Software Package Installation Problem PDF
AUTHORS: Josep Argelich; Inês Lynce ;
PUBLISHED: 2008, SOURCE: 15th Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2008 in Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008., VOLUME: 451
INDEXED IN: Scopus DBLP
116
TITLE: Efficient haplotype inference with combined CP and OR techniques  Full Text
AUTHORS: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems in INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, VOLUME: 5015
INDEXED IN: Scopus WOS DBLP CrossRef: 7
117
TITLE: Encoding Max-CSP into Partial Max-SAT  Full Text
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manyà, F;
PUBLISHED: 2008, SOURCE: 38th International Symposium on Multiple-Valued Logic, ISMVL 2008 in 38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008)
INDEXED IN: Scopus WOS DBLP CrossRef: 5
118
TITLE: Haplotype Inference with Boolean Constraint Solving: An Overview
AUTHORS: Lynce, I ; Graca, A; Marques Silva, J ; Oliveira, AL ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
119
TITLE: Haplotype inference with Boolean satisfiability  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2008, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 17, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 16 Unpaywall
120
TITLE: Modelling Max-CSP as Partial Max-SAT
AUTHORS: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLISHED: 2008, SOURCE: 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008 in Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings, VOLUME: 4996
INDEXED IN: Scopus DBLP CrossRef: 7
Page 12 of 16. Total results: 152.