Artigo em conferência |
- Margarida Ferreira; Ranysha Ware; Yash Kothari; Inês Lynce; Ruben Martins; Akshay Narayan; Justine Sherry. "Reverse-Engineering
Congestion Control Algorithm Behavior". 2024.
10.1145/3646547.3688443
- Ramos, Daniel; Mitchell, Hailie; Lynce, Inês; Manquinho, Vasco; Martins, Ruben; Goues, Claire Le. "MELT: Mining Effective
Lightweight Transformations from Pull Requests". 2023.
10.1109/ase56229.2023.00117
- Calhas, David; Manquinho, Vasco; Inês Lynce. "Automatic Generation of Neural Architecture Search Spaces". Trabalho apresentado
em The AAAI Conference on Artificial Intelligence - Combining Learning and Reasoning: Programming Languages, Formalisms,
and Representations, 2022.
- João Cortes; Inês Lynce; Vasco Manquinho. "New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization".
Trabalho apresentado em 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
(TACAS), 2022.
10.1007/978-3-031-30820-8_7
- Ansong Ni; Daniel Rosa Ramos; Aidan Yang; Inês Lynce; Manquinho, Vasco; Ruben Martins; Claire Le Goues. "SOAR: A Synthesis
Approach for Data Science API Refactoring". Trabalho apresentado em 43rd International Conference on Software Engineering
(ICSE), 2021.
No prelo
- Margarida Ferreira; Miguel Terra-Neves; Miguel Ventura; Inês Lynce; Ruben Martins. "FOREST: An Interactive Multi-tree Synthesizer
for Regular Expressions.". Trabalho apresentado em TACAS, 2021.
Aceite para publicação
- Lemos, A.; Pedro T Monteiro; Inês Lynce. "ITC 2019: University Course Timetabling with MaxSAT". Trabalho apresentado em Practice
and Theory of Automated Timetabling, 2020.
Aceite para publicação
- Ramos, Daniel; Pereira, Jorge; Lynce, Inês; Manquinho, Vasco; Martins, Ruben. "UNCHARTIT: An Interactive Framework for Program
Recovery from Charts". Trabalho apresentado em IEEE/ACM International Conference on Automated Software Engineering,
2020.
Publicado • 10.1145/3324884.3416613
- Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary
Algorithms". Trabalho apresentado em International Joint Conference on Artificial Intelligence (IJCAI), 2019.
10.24963/ijcai.2019/165
- Miguel Terra-Neves; Nuno Machado; Inês Lynce; Manquinho, Vasco. "Concurrency Debugging with MaxSMT". Trabalho apresentado
em AAAI Conference on Artificial Intelligence, 2019.
10.1609/aaai.v33i01.33011608
- Guerreiro, Andreia; Miguel Terra-Neves; Inês Lynce; Figueira, José Rui; Manquinho, Vasco. "Constraint-Based Techniques in
Stochastic Local Search MaxSAT Solving". Trabalho apresentado em International Conference on Principles and Practice of
Constraint Programming (CP), 2019.
10.1007/978-3-030-30048-7\_14
- Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Multi-Objective Optimization Through Pareto Minimal Correction Subsets".
Trabalho apresentado em International Joint Conference on Artificial Intelligence (IJCAI), 2018.
Publicado • 10.24963/ijcai.2018/757
- Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Stratification for Constraint-Based Multi-Objective Combinatorial
Optimization". Trabalho apresentado em International Joint Conference on Artificial Intelligence (IJCAI), 2018.
Publicado • 10.24963/ijcai.2018/191
- Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Enhancing Constraint-Based Multi-Objective Combinatorial Optimization".
Trabalho apresentado em AAAI Conference on Artificial Intelligence, 2018.
Publicado
- Terra-Neves, M.; Lynce, I.; Manquinho, V.. "Non-portfolio approaches for distributed maximum satisfiability". Trabalho apresentado
em ICTAI, 2017.
10.1109/ICTAI.2016.70
- Gouveia, F.; Monteiro, P.T.; Manquinho, V.; Lynce, I.. "Logic-based encodings for ricochet robots". Trabalho apresentado em
EPIA, 2017.
10.1007/978-3-319-65340-2_54
- Terra-Neves, M.; Lynce, I.; Manquinho, V.. "Introducing pareto minimal correction subsets". Trabalho apresentado em Satisfiability:
Applications and Theory (SAT), 2017.
10.1007/978-3-319-66263-3_13
- Marques-Silva, J.; Lynce, I.. "Towards robust CNF encodings of cardinality constraints". 2017.
- Neves, M.; Martins, R.; Janota, M.; Lynce, I.; Manquinho, V.. "Exploiting resolution-based representations for MaxSAT solving".
2015.
10.1007/978-3-319-24318-4_20
- Marques-Silva, J.; Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.. "Efficient autarkies". 2014.
10.3233/978-1-61499-419-0-603
- Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J.. "Progression in maximum satisfiability". 2014.
10.3233/978-1-61499-419-0-453
- Martins, R.; Joshi, S.; Manquinho, V.; Lynce, I.. "Incremental cardinality constraints for MaxSAT". 2014.
10.1007/978-3-319-10428-7_39
- Martins, R.; Manquinho, V.; Lynce, I.. "Open-WBO: A modular MaxSAT solver". 2014.
10.1007/978-3-319-09284-3_33
- Martins, R.; Manquinho, V.; Lynce, I.. "Community-based partitioning for MaxSAT solving". 2013.
10.1007/978-3-642-39071-5_14
- Lynce, I.. "Satisfiability: Where theory meets Practice". 2012.
10.4230/LIPIcs.CSL.2012.12
- Graça, A.; Lynce, I.; Marques-Silva, J.; Oliveira, A.L.. "Efficient and accurate haplotype inference by combining parsimony
and pedigree information". 2012.
10.1007/978-3-642-28067-2_3
- Guerra, J.; Lynce, I.. "Reasoning over biological networks using maximum satisfiability". 2012.
10.1007/978-3-642-33558-7_67
- Martins, R.; Manquinho, V.; Lynce, I.. "Clause sharing in parallel MaxSAT". 2012.
10.1007/978-3-642-34413-8_44
- Martins, R.; Manquinho, V.; Lynce, I.. "On partitioning for maximum satisfiability". 2012.
10.3233/978-1-61499-098-7-913
- Belov, A.; Janota, M.; Lynce, I.; Marques-Silva, J.. "On computing minimal equivalent subformulas". 2012.
10.1007/978-3-642-33558-7_14
- Martins, R.; Manquinho, V.; Lynce, I.. "Exploiting cardinality encodings in parallel maximum satisfiability". 2011.
10.1109/ICTAI.2011.54
- Marques-Silva, J.; Lynce, I.. "On improving MUS extraction algorithms". 2011.
10.1007/978-3-642-21581-0_14
- Graça, A.; Marques-Silva, J.; Lynce, I.. "Haplotype inference using propositional satisfiability". 2011.
10.1007/978-1-4419-6800-5_7
- Argelich, J.; Cabiscol, A.; Lynce, I.; Manyà, F.. "New insights into encodings from MaxCSP into partial MaxSAT". 2010.
10.1109/ISMVL.2010.17
- Trezentos, P.; Lynce, I.; Oliveira, A.L.. "Apt-pbo: Solving the software dependency problem using pseudo-boolean optimization".
2010.
10.1145/1858996.1859087
- Martins, R.; Manquinho, V.; Lynce, I.. "Improving search space splitting for parallel SAT solving". 2010.
10.1109/ICTAI.2010.56
- Marques-Silva, J.; Argelich, J.; Graça, A.; Lynce, I.. "Boolean lexicographic optimization". 2010.
- Manquinho, Vasco; Martins, Ruben; Lynce, Ines; Strichman, O; Szeider, S. "Improving Unsatisfiability-Based Algorithms for
Boolean Optimization". 2010.
- Peschiera, Claudia; Pulina, Luca; Tacchella, Armando; Bubeck, Uwe; Kullmann, Oliver; Lynce, Ines; Strichman, O; Szeider, S.
"The Seventh QBF Solvers Evaluation (QBFEVAL'10)". 2010.
- Peschiera, C.; Pulina, L.; Tacchella, A.; Bubeck, U.; Kullmann, O.; Lynce, I.. "The seventh QBF solvers evaluation (QBFEVAL'10)".
2010.
10.1007/978-3-642-14186-7_20
- Marques-Silva, J.; Janota, M.; Lynce, I.. "On computing backbones of propositional theories". 2010.
10.3233/978-1-60750-606-5-15
- Manquinho, V.; Martins, R.; Lynce, I.. "Improving unsatisfiability-based algorithms for boolean optimization". 2010.
10.1007/978-3-642-14186-7_16
- Argelich, J.; Cabiscol, A.; Lynce, I.; Man¿a, F.. "Regular encodings from Max-CSP into partial Max-SAT". 2009.
10.1109/ISMVL.2009.23
- Lynce, I.; Marques-Silva, J.. "Restoring CSP satisfiability with MaxSAT?". 2009.
- Argelich, J.; Lynce, I.; Marques-Silva, J.. "On solving boolean multilevel optimization problems". 2009.
- Argelich, Josep; Cabiscol, Alba; Lynce, Ines; Manya, Felip; IEEE. "Regular Encodings from Max-CSP into Partial Max-SAT". 2009.
- Argelich, Josep; Lynce, Ines; Marques-Silva, Joao; Boutilier, C. "On Solving Boolean Multilevel Optimization Problems". 2009.
- Argelich, Josep; Cabiscol, Alba; Lynce, Ines; Manya, Felip; Kullmann, O. "Sequential Encodings from Max-CSP into Partial Max-SAT".
2009.
- Argelich, J.; Lynce, I.. "CNF instances from the software package installation problem". 2009.
- Marques-Silva, J.; Lynce, I.; Malik, S.. "Conflict-driven clause learning SAT solvers". 2009.
10.3233/978-1-58603-929-5-131
- Argelich, J.; Cabiscol, A.; Lynce, I.; Manyà, F.. "Sequential encodings from Max-CSP into partial Max-SAT". 2009.
10.1007/978-3-642-02777-2_17
- Delgado, J.; Lynce, I.; Manquinho, V.. "Computing the summed adjacency disruption number between two genomes with duplicate
genes using pseudo-Boolean optimization". 2009.
10.1007/978-3-642-04744-2_12
- Delgado, Joao; Lynce, Ines; Manquinho, Vasco; Ciccarelli, FD; Miklos, I. "Computing the Summed Adjacency Disruption Number
between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization". 2008.
- Argelich, J.; Cabiscol, A.; Lynce, I.; Manyà, F.. "Encoding Max-CSP into partial Max-SAT". 2008.
10.1109/ISMVL.2008.22
- Lynce, I.; Graca, A.; Marques-Silva, J.; Oliveira, A.L.. "Haplotype inference with boolean constraint solving: An overview".
2008.
10.1109/ICTAI.2008.135
- Argelich, Josep; Cabiscol, Alba; Lynce, Ines; Manya, Felip; Buning, HK; Zhao, XH. "Modelling Max-CSP as partial Max-SAT".
2008.
- Graca, Ana; Marques-Silva, Joao; Lynce, Ines; Oliveira, Arlindo L.; Perron, L; Trick, MA. "Efficient haplotype inference with
combined CP and OR techniques". 2008.
- Argelich, J.; Cabiscol, A.; Lynce, I.; Manyà, F.. "Modelling Max-CSP as partial Max-SAT". 2008.
10.1007/978-3-540-79719-7_1
- Graça, A.; Marques-Silva, J.; Lynce, I.; Oliveira, A.L.. "Efficient haplotype inference with combined CP and or techniques".
2008.
10.1007/978-3-540-68155-7_28
- Marques-Silva, J.; Lynce, I.; Manquinho, V.. "Symmetry breaking for maximum satisfiability". 2008.
10.1007/978-3-540-89439-1_1
- Marques-Silva, Joao; Lynce, Ines; Graca, Ana; Oliveira, Arlindo L.; Neves, J; Santos, MF; Machado, JM. "Efficient and tight
upper bounds for haplotype inference by pure parsimony using delayed haplotype selection". 2007.
- Marques-Silva, Joao; Lynce, Ines; Bessiere, C. "Towards robust CNF encodings of cardinality constraints". 2007.
- Prestwich, S.; Lynce, I.. "Refutation by randomised general resolution". 2007.
- Graca, Ana; Marques-Silva, Joao; Lynce, Ines; Oliveira, Arlindo L.; Anai, H; Horimoto, K; Kutsia, T. "Efficient haplotype
inference with pseudo-boolean optimization". 2007.
- Lynce, I.; Marques-Silva, J.; Lynce, Ines; Marques-Silva, Joao; MarquesSilva, J; Sakallah, KA. "Breaking symmetries in SAT
matrix models". 2007.
- Marques-Silva, J.; Lynce, I.; Graça, A.; Oliveira, A.L.. "Efficient and tight upper bounds for haplotype inference by pure
parsimony using delayed haplotype selection". 2007.
- Graça, A.; Marques-Silva, J.; Lynce, I.; Oliveira, A.L.. "Efficient haplotype inference with pseudo-boolean optimization".
2007.
- Marques-Silva, J.; Lynce, I.. "SAT solvers". 2006.
10.1017/CBO9781139177801.013
- Lynce, I.; Marques-Silva, J.. "Efficient haplotype inference with Boolean Satisfiability". 2006.
- Kullmann, Oliver; Lynce, Ines; Marques-Silva, Joao; Biere, A; Gomes, CP. "Categorisation of clauses in conjunctive normal
forms: Minimally unsatisfiable sub-clause-sets and the lean kernel". 2006.
- Prestwich, Steven; Lynce, Ines; Biere, A; Gomes, CP. "Local search for unsatisfiability". 2006.
- Lynce, I.; Ouaknine, J.. "Sudoku as a SAT problem". 2006.
- Lynce, Ines; Marques-Silva, Joao; Biere, A; Gomes, CP; Lynce, I.; Marques-Silva, J.. "SAT in bioinformatics: Making the case
with haplotype inference". 2006.
- Prestwich, S.; Lynce, I.. "Local search for unsatisfiability". 2006.
- Kullmann, O.; Lynce, I.; Marques-Silva, J.. "Categorisation of clauses in conjunctive normal forms: Minimally unsatisfiable
sub-clause-sets and the Lean Kernel". 2006.
- Mneimneh, M.; Lynce, I.; Andraus, Z.; Marques-Silva, J.; Sakallah, K.. "A branch-and-bound algorithm for extracting smallest
minimal unsatisfiable formulas". 2005.
- Lynce, I.; Marques-Silva, J.. "Hidden structure in unsatisfiable random 3-SAT: An empirical study". 2004.
- Lynce, I.; Marques-Silva, J.. "Probing-Based Preprocessing Techniques for Propositional Satisfiability". 2003.
- Lynce, I.; Marques-Silva, J.. "The effect of nogood recording in DPLL-CBJ SAT algorithms". 2003.
- Bhalla, A.; Lynce, I.; De Sousa, J.T.; Marques-Silva, J.. "Heuristic backtracking algorithms for SAT". 2003.
10.1109/MTV.2003.1250265
- Bhalla, A; Lynce, I; de Sousa, JT; Marques-Silva, J; Abadir, MS; Wang, LC. "Heuristic backtracking algorithms for SAT". 2003.
- Bhalla, A; Lynce, I; de Sousa, JT; Marques-Silva, J; Pires, FM; Abreu, S. "Heuristic-based backtracking for propositional
satisfiability". 2003.
- Lynce, I; Marques-Silva, J; Werner, B. "Probing-based preprocessing techniques for propositional satisfiability". 2003.
10.1109/TAI.2003.1250177
- Bhalla, A.; Lynce, I.; De Sousa, J.T.; Marques-Silva, J.. "Heuristic-based backtracking for prepositional satisfiability".
2003.
- Lynce, I; Marques-Silva, J; OSullivan, B. "The effect of nogood recording in DPLL-CBJ SAT algorithms". 2002.
- Lynce, I; Marques-Silva, J; VanHarmelen, F. "Building state-of-the-art SAT solvers". 2002.
- Inês Lynce; Baptista, Luís; J. P. Marques-Silva. "Unrestricted Backtracking Algorithms for Satisfiability". Trabalho apresentado
em AAAI Fall Symposium Using Uncertainty within Computation, 2001.
- Baptista, Luís; Inês Lynce; J. P. Marques-Silva. "Complete Search Restart Strategies for Satisfiability". Trabalho apresentado
em IJCAI Workshop on Stochastic Search Algorithms, 2001.
- Lynce, I.; Baptista, L.; Marques-Silva, J.. "Towards provably complete stochastic search algorithms for satisfiability". 2001.
- Lynce, I.; Marques-Silva, J.. "Improving SAT algorithms by using search pruning techniques". 2001.
|
Artigo em revista |
- Daniel Ramos; Inês Lynce; Vasco Manquinho; Ruben Martins; Claire Le Goues. "BatFix: Repairing language model-based transpilation".
ACM Transactions on Software Engineering and Methodology (2024): https://doi.org/10.1145/3658668.
10.1145/3658668
- Filipe Gouveia; Pedro T Monteiro; Inês Lynce; Alexandre Lemos. "Iterative Train Scheduling under Disruption with Maximum Satisfiability".
Journal of Artificial Intelligence Research (2024):
Aceite para publicação
- P. Guerreiro, A.; Cortes, J.; Vanderpooten, D.; Bazgan, C.; Lynce, I.; Manquinho, V.; Figueira, J.R.. "Exact and approximate
determination of the Pareto front using Minimal Correction Subsets". Computers & Operations Research 153 (2023):
106153. http://dx.doi.org/10.1016/j.cor.2023.106153.
10.1016/j.cor.2023.106153
- Leonor Oliveira e Silva; Magda Resende; Helena Galhardas; Vasco Manquinho; Inês Lynce. "DeepData: Machine learning in the
marine ecosystems". Expert Systems with Applications (2022): https://doi.org/10.1016/j.eswa.2022.117841.
10.1016/j.eswa.2022.117841
- Alexandre Lemos; Pedro T. Monteiro; Inês Lynce. "Introducing UniCorT: an iterative university course timetabling tool with
MaxSAT". Journal of Scheduling (2021): https://doi.org/10.1007/s10951-021-00695-6.
10.1007/s10951-021-00695-6
- Lemos, A.; Pedro T Monteiro; Inês Lynce. "Introducing UniCorT: A University Course Timetabling Tool". Journal of Scheduling
(2021):
Aceite para publicação
- Alexandre Lemos; Pedro T. Monteiro; Inês Lynce. "Disruptions in timetables: a case study at Universidade de Lisboa". Journal
of Scheduling (2020): https://doi.org/10.1007/s10951-020-00666-3.
10.1007/s10951-020-00666-3
- Filipe Gouveia; Inês Lynce; Pedro T. Monteiro. "Revision of Boolean Models of Regulatory Networks Using Stable State Observations".
Journal of Computational Biology 27 2 (2020): 144-155. http://dx.doi.org/10.1089/cmb.2019.0289.
10.1089/cmb.2019.0289
- Lemos, Alexandre; Lynce, Inês; Monteiro, Pedro T.. "Repairing Boolean logical models from time-series data using Answer Set
Programming". Algorithms for Molecular Biology 14 1 (2019): http://dx.doi.org/10.1186/s13015-019-0145-8.
Publicado • 10.1186/s13015-019-0145-8
- Terra-Neves, Miguel; Lynce, Inês; Manquinho, Vasco. "Virtual machine consolidation using constraint-based multi-objective
optimization". Journal of Heuristics 25 3 (2018): 339-375. http://dx.doi.org/10.1007/s10732-018-9400-2.
Publicado • 10.1007/s10732-018-9400-2
- Pedro L. Varela; Inês Lynce; Vasco Manquinho; Claudine Chaouiya; Pedro T. Monteiro. "Stable States of Boolean Regulatory Networks
Composed Over Hexagonal Grids". Electronic Notes in Theoretical Computer Science 335 (2018): 113-130. https://doi.org/10.1016%2Fj.entcs.2018.03.011.
10.1016/j.entcs.2018.03.011
- Filipe Gouveia; Inês Lynce; Pedro T. Monteiro. "Model Revision of Logical Regulatory Networks Using Logic-Based Tools". (2018):
http://drops.dagstuhl.de/opus/volltexte/2018/9889/.
10.4230/oasics.iclp.2018.23
- Martins, R.; Manquinho, V.; Lynce, I.. "Deterministic parallel MaxSAT solving". International Journal on Artificial Intelligence
Tools 24 3 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84930799888&partnerID=MN8TOARS.
10.1142/s0218213015500050
- Janota, M.; Lynce, I.; Marques-Silva, J.. "Algorithms for computing backbones of propositional formulae". AI Communications
28 2 (2015): 161-177. http://www.scopus.com/inward/record.url?eid=2-s2.0-84922535838&partnerID=MN8TOARS.
10.3233/AIC-140640
- Martins, R.; Manquinho, V.; Lynce, I.. "Improving linear search algorithms with model-based approaches for MaxSAT solving".
Journal of Experimental and Theoretical Artificial Intelligence (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84922340446&partnerID=MN8TOARS.
10.1080/0952813X.2014.993508
- Belov, A.; Janota, M.; Lynce, I.; Marques-Silva, J.. "Algorithms for computing minimal equivalent subformulas". Artificial
Intelligence 216 (2014): 309-326. http://www.scopus.com/inward/record.url?eid=2-s2.0-84907340206&partnerID=MN8TOARS.
10.1016/j.artint.2014.07.011
- Camacho, R.; Carreira, P.; Lynce, I.; Resendes, S.. "An ontology-based approach to conflict resolution in Home and Building
Automation Systems". Expert Systems with Applications 41 14 (2014): 6161-6173. http://www.scopus.com/inward/record.url?eid=2-s2.0-84901398577&partnerID=MN8TOARS.
10.1016/j.eswa.2014.04.017
- Miranda, M.; Lynce, I.; Manquinho, V.. "Inferring phylogenetic trees using pseudo-Boolean optimization". AI Communications
27 3 (2014): 229-243. http://www.scopus.com/inward/record.url?eid=2-s2.0-84901757092&partnerID=MN8TOARS.
10.3233/AIC-140592
- Ruben Martins; Saurabh Joshi; Manquinho, Vasco; Inês Lynce. "On Using Incremental Encodings in Unsatisfiability-based MaxSAT
Solving". Journal Satisfiability Boolean Modelling Computation 9 1 (2014): 59-81. https://satassociation.org/jsat/index.php/jsat/article/view/126.
Publicado
- Martins, R.; Manquinho, V.; Lynce, I.. "An overview of parallel SAT solving". Constraints 17 3 (2012): 304-347. http://www.scopus.com/inward/record.url?eid=2-s2.0-84865232764&partnerID=MN8TOARS.
10.1007/s10601-012-9121-3
- Belov, A.; Lynce, I.; Marques-Silva, J.. "Towards efficient MUS extraction". AI Communications 25 2 (2012): 97-116.
http://www.scopus.com/inward/record.url?eid=2-s2.0-84864443564&partnerID=MN8TOARS.
10.3233/AIC-2012-0523
- Martins, R.; Manquinho, V.; Lynce, I.. "Parallel search for maximum satisfiability". AI Communications 25 2 (2012):
75-95. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864428731&partnerID=MN8TOARS.
10.3233/AIC-2012-0517
- Argelich, J.; Cabiscol, A.; Lynce, I.; Manyà, F.. "Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT". Journal
of Multiple-Valued Logic and Soft Computing 19 1-3 (2012): 3-23. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000305440000002&KeyUID=WOS:000305440000002.
- Janota, Mikolá¿; Inês Lynce; Manquinho, Vasco; Marques-Silva, J.P.. "PackUp: Tools for Package Upgradability Solving". Journal
Satisfiability Boolean Modelling Computation 8 1 (2012): 89-94. https://satassociation.org/jsat/index.php/jsat/article/view/97.
Publicado
- Lynce, I.; Marques-Silva, J.. "Restoring CSP satisfiability with MaxSAT". Fundamenta Informaticae 107 2-3 (2011): 249-266.
http://www.scopus.com/inward/record.url?eid=2-s2.0-80052620573&partnerID=MN8TOARS.
10.3233/FI-2011-402
- Marques-Silva, J.; Argelich, J.; Graça, A.; Lynce, I.. "Boolean lexicographic optimization: Algorithms & applications". Annals
of Mathematics and Artificial Intelligence 62 3-4 (2011): 317-343. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856553406&partnerID=MN8TOARS.
10.1007/s10472-011-9233-2
- Graça, A.; Marques-Silva, J.; Lynce, I.; Oliveira, A.L.. "Haplotype inference with pseudo-Boolean optimization". Annals
of Operations Research 184 1 (2011): 137-162. http://www.scopus.com/inward/record.url?eid=2-s2.0-79952281186&partnerID=MN8TOARS.
10.1007/s10479-009-0675-4
- Delgado, J.; Lynce, I.; Manquinho, V.. "Computing the summed adjacency disruption number between two genomes with duplicate
genes". Journal of Computational Biology 17 9 (2010): 1243-1265. http://www.scopus.com/inward/record.url?eid=2-s2.0-77958071093&partnerID=MN8TOARS.
10.1089/cmb.2010.0098
- Graça, A.; Lynce, I.; Marques-Silva, J.; Oliveira, A.L.. "Haplotype inference by pure parsimony: A survey". Journal of
Computational Biology 17 8 (2010): 969-992. http://www.scopus.com/inward/record.url?eid=2-s2.0-77956065828&partnerID=MN8TOARS.
10.1089/cmb.2009.0101
- Liffiton, M.; Mneimneh, M.; Lynce, I.; Andraus, Z.; Marques-Silva, J.; Sakallah, K.. "A branch and bound algorithm for extracting
smallest minimal unsatisfiable subformulas". Constraints 14 4 (2009): 415-442. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349507165&partnerID=MN8TOARS.
10.1007/s10601-008-9058-8
- Lynce, I.; Marques-Silva, J.. "Haplotype inference with boolean satisfiability". International Journal on Artificial Intelligence
Tools 17 2 (2008): 355-387. http://www.scopus.com/inward/record.url?eid=2-s2.0-44349166261&partnerID=MN8TOARS.
10.1142/S0218213008003935
- Lynce, I.; Marques-Silva, J.; Prestwich, S.. "Boosting haplotype inference with local search". Constraints 13 1-2 (2008):
155-179. http://www.scopus.com/inward/record.url?eid=2-s2.0-42749093615&partnerID=MN8TOARS.
10.1007/s10601-007-9035-7
- Lynce, I.; Marques-Silva, J.. "Random backtracking in backtrack search algorithms for satisfiability". Discrete Applied
Mathematics 155 12 (2007): 1604-1612. http://www.scopus.com/inward/record.url?eid=2-s2.0-34250214528&partnerID=MN8TOARS.
10.1016/j.dam.2005.10.021
- Gent, Ian P.; Jefferson, Chris; Kelsey, Tom; Lynce, Ines; Miguel, Ian; Nightingale, Peter; Smith, Barbara M.; et al. "Search
in the patience game 'Black Hole'". Ai Communications 20 3 (2007): 211-226. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000249884100005&KeyUID=WOS:000249884100005.
- Lynce, Ines. "Propositional satisfiability: Techniques, algorithms and applications". Ai Communications 19 2 (2006):
187-189. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000238257300007&KeyUID=WOS:000238257300007.
- Lynce, I.. "Propositional satisfiability: Techniques, algorithms and applications". AI Communications 19 2 (2006):
187-189. http://www.scopus.com/inward/record.url?eid=2-s2.0-33744920333&partnerID=MN8TOARS.
- Bhalla, A.; Lynce, I.; De Sousa, J.T.; Marques-Silva, J.. "Heuristic-based backtracking relaxation for propositional satisfiability".
Journal of Automated Reasoning 35 1-3 (2005): 3-24. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750323402&partnerID=MN8TOARS.
10.1007/s10817-005-9005-y
- Lynce, I.; Marques-Silva, J.; Lynce, I; Marques-Silva, J. "Efficient data structures for backtrack search SAT solvers". Annals
of Mathematics and Artificial Intelligence 43 1-4 (2005): 137-152. http://www.scopus.com/inward/record.url?eid=2-s2.0-10344261575&partnerID=MN8TOARS.
10.1007/s10472-004-9425-0
- Lynce, I.; Marques-Silva, J.P.. "An overview of backtrack search satisfiability algorithms". Annals of Mathematics and
Artificial Intelligence 37 3 (2003): 307-326. http://www.scopus.com/inward/record.url?eid=2-s2.0-0037212944&partnerID=MN8TOARS.
10.1023/A:1021264516079
- Lynce, I.; Baptista, L.; Marques-Silva, J.. "Stochastic systematic search algorithms for satisfiability". Electronic Notes
in Discrete Mathematics 9 (2001): 190-204. http://www.scopus.com/inward/record.url?eid=2-s2.0-34247130152&partnerID=MN8TOARS.
|