Inês Lynce - RankMe

142 papers A* 12A 31B 8Misc 4Journal 53Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	SPELL: Synthesis of Programmatic Edits using LLMs. CoRR Daniel Ramos, Catarina Gamboa, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2026	J	`jnl`	Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization. J. Autom. Reason. João Cortes, Inês Lynce, Vasco Manquinho
2025	A	`ed.`	ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy - Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025) ECAI Inês Lynce, Nello Murano, Mauro Vallati, Serena Villata, Federico Chesani, Michela Milano, Andrea Omicini, Mehdi Dastani
2025	J	`jnl`	Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection. CoRR Margarida Ferreira, Victor Nicolet, Luan Pham, Joey Dodds, Daniel Kroening, Inês Lynce, Ruben Martins
2025	—	`conf`	Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming. TACAS (2) Rafael Gonçalves, Filipe Gouveia, Inês Lynce, José Fragoso Santos
2024	J	`jnl`	BatFix: Repairing language model-based transpilation. ACM Trans. Softw. Eng. Methodol. Daniel Ramos, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2024	J	`jnl`	Iterative Train Scheduling under Disruption with Maximum Satisfiability. J. Artif. Intell. Res. Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro, Inês Lynce
2024	A	`conf`	Reverse-Engineering Congestion Control Algorithm Behavior. IMC Margarida Ferreira, Ranysha Ware, Yash Kothari, Inês Lynce, Ruben Martins, Akshay Narayan, Justine Sherry
2024	A	`conf`	Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization. CP João Cortes, Inês Lynce, Vasco Manquinho
2023	J	`jnl`	Exact and approximate determination of the Pareto front using Minimal Correction Subsets. Comput. Oper. Res. Andreia P. Guerreiro, João Cortes, Daniel Vanderpooten, Cristina Bazgan, Inês Lynce, Vasco Manquinho, José Rui Figueira
2023	A*	`conf`	MELT: Mining Effective Lightweight Transformations from Pull Requests. ASE Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2023	J	`jnl`	MELT: Mining Effective Lightweight Transformations from Pull Requests. CoRR Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2023	—	`conf`	New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization. TACAS (2) João Cortes, Inês Lynce, Vasco Manquinho
2023	J	`jnl`	SAT Encodings and Beyond (Dagstuhl Seminar 23261). Dagstuhl Reports Marijn J. H. Heule, Inês Lynce, Stefan Szeider, André Schidler
2022	J	`jnl`	DeepData: Machine learning in the marine ecosystems. Expert Syst. Appl. Leonor Silva, Magda Resende, Helena Galhardas, Vasco Manquinho, Inês Lynce
2022	J	`jnl`	Exact and approximate determination of the Pareto set using minimal correction subsets. CoRR Andreia P. Guerreiro, João Cortes, Daniel Vanderpooten, Cristina Bazgan, Inês Lynce, Vasco Manquinho, José Rui Figueira
2022	J	`jnl`	Introducing UniCorT: an iterative university course timetabling tool with MaxSAT. J. Sched. Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
2022	J	`jnl`	New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization. CoRR João Cortes, Inês Lynce, Vasco Manquinho
2021	—	`ch.`	Conflict-Driven Clause Learning SAT Solvers. Handbook of Satisfiability João Marques-Silva, Inês Lynce, Sharad Malik
2021	Misc	`conf`	Counterfeiting Congestion Control Algorithms. HotNets Margarida Ferreira, Akshay Narayan, Inês Lynce, Ruben Martins, Justine Sherry
2021	J	`jnl`	Disruptions in timetables: a case study at Universidade de Lisboa. J. Sched. Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
2021	—	`conf`	FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. TACAS (1) Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins
2021	—	`conf`	Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE (Companion Volume) Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2021	A*	`conf`	SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2021	J	`jnl`	SOAR: A Synthesis Approach for Data Science API Refactoring. CoRR Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2020	J	`jnl`	FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. CoRR Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins
2020	B	`conf`	Minimal Perturbation in University Timetabling with Maximum Satisfiability. CPAIOR Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
2020	—	`conf`	ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks. CMSB Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
2020	J	`jnl`	Revision of Boolean Models of Regulatory Networks Using Stable State Observations. J. Comput. Biol. Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
2020	A*	`conf`	UNCHARTIT: An Interactive Framework for Program Recovery from Charts. ASE Daniel Ramos, Jorge Pereira, Inês Lynce, Vasco Manquinho, Ruben Martins
2019	A*	`conf`	Concurrency Debugging with MaxSMT. AAAI Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco Manquinho
2019	A	`conf`	Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. CP Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco Manquinho
2019	A*	`conf`	Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms. IJCAI Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2019	—	`conf`	Model Revision of Boolean Regulatory Networks at Stable State. ISBRA Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
2019	J	`jnl`	Reflections on "Incremental Cardinality Constraints for MaxSAT". CoRR Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
2019	J	`jnl`	Repairing Boolean logical models from time-series data using Answer Set Programming. Algorithms Mol. Biol. Alexandre Lemos, Inês Lynce, Pedro T. Monteiro
2019	A	`ed.`	Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings SAT Mikolás Janota, Inês Lynce
2019	J	`jnl`	Virtual machine consolidation using constraint-based multi-objective optimization. J. Heuristics Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2018	A*	`conf`	Enhancing Constraint-Based Multi-Objective Combinatorial Optimization. AAAI Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2018	—	`conf`	Model Revision of Logical Regulatory Networks Using Logic-Based Tools. ICLP (Technical Communications) Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
2018	A*	`conf`	Multi-Objective Optimization Through Pareto Minimal Correction Subsets. IJCAI Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2018	—	`ch.`	Parallel Maximum Satisfiability. Handbook of Parallel Constraint Reasoning Inês Lynce, Vasco Manquinho, Ruben Martins
2018	—	`conf`	Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids. SASB Pedro L. Varela, Inês Lynce, Vasco Manquinho, Claudine Chaouiya, Pedro T. Monteiro
2018	A*	`conf`	Stratification for Constraint-Based Multi-Objective Combinatorial Optimization. IJCAI Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2017	A	`conf`	Introducing Pareto Minimal Correction Subsets. SAT Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2017	Misc	`conf`	Logic-Based Encodings for Ricochet Robots. EPIA Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Inês Lynce
2016	B	`conf`	Non-Portfolio Approaches for Distributed Maximum Satisfiability. ICTAI Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
2015	J	`jnl`	Algorithms for computing backbones of propositional formulae. AI Commun. Mikolás Janota, Inês Lynce, João Marques-Silva
2015	J	`jnl`	Deterministic Parallel MaxSAT Solving. Int. J. Artif. Intell. Tools Ruben Martins, Vasco Manquinho, Inês Lynce
2015	J	`jnl`	DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability. CoRR Miguel Neves, Inês Lynce, Vasco Manquinho
2015	A	`conf`	Exploiting Resolution-Based Representations for MaxSAT Solving. SAT Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho
2015	J	`jnl`	Exploiting Resolution-based Representations for MaxSAT Solving. CoRR Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho
2015	J	`jnl`	Improving linear search algorithms with model-based approaches for MaxSAT solving. J. Exp. Theor. Artif. Intell. Ruben Martins, Vasco Manquinho, Inês Lynce
2014	J	`jnl`	Algorithms for computing minimal equivalent subformulas. Artif. Intell. Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva
2014	J	`jnl`	An ontology-based approach to conflict resolution in Home and Building Automation Systems. Expert Syst. Appl. Rui Camacho, Paulo Carreira, Inês Lynce, Sílvia Resendes
2014	A	`conf`	Efficient Autarkies. ECAI João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco Manquinho, Inês Lynce
2014	A	`conf`	Incremental Cardinality Constraints for MaxSAT. CP Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
2014	J	`jnl`	Incremental Cardinality Constraints for MaxSAT. CoRR Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
2014	J	`jnl`	Inferring phylogenetic trees using pseudo-Boolean optimization. AI Commun. Miguel Miranda, Inês Lynce, Vasco Manquinho
2014	J	`jnl`	On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. J. Satisf. Boolean Model. Comput. Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
2014	A	`conf`	Open-WBO: A Modular MaxSAT Solver, . SAT Ruben Martins, Vasco Manquinho, Inês Lynce
2014	A	`conf`	Progression in Maximum Satisfiability. ECAI Alexey Ignatiev, António Morgado, Vasco Manquinho, Inês Lynce, João Marques-Silva
2014	—	`ch.`	SAT Solvers. Tractability João Marques-Silva, Inês Lynce
2013	A	`conf`	Community-Based Partitioning for MaxSAT Solving. SAT Ruben Martins, Vasco Manquinho, Inês Lynce
2012	J	`jnl`	An overview of parallel SAT solving. Constraints An Int. J. Ruben Martins, Vasco Manquinho, Inês Lynce
2012	—	`conf`	Clause Sharing in Parallel MaxSAT. LION Ruben Martins, Vasco Manquinho, Inês Lynce
2012	J	`jnl`	Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. J. Multiple Valued Log. Soft Comput. Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2012	A	`conf`	On Computing Minimal Equivalent Subformulas. CP Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva
2012	A	`conf`	On Partitioning for Maximum Satisfiability. ECAI Ruben Martins, Vasco Manquinho, Inês Lynce
2012	J	`jnl`	On When and How to use SAT to Mine Frequent Itemsets CoRR Rui Henriques, Inês Lynce, Vasco Manquinho
2012	J	`jnl`	PackUp: Tools for Package Upgradability Solving. J. Satisf. Boolean Model. Comput. Mikolás Janota, Inês Lynce, Vasco Manquinho, João Marques-Silva
2012	J	`jnl`	Parallel search for maximum satisfiability. AI Commun. Ruben Martins, Vasco Manquinho, Inês Lynce
2012	A	`conf`	Reasoning over Biological Networks Using Maximum Satisfiability. CP João Guerra, Inês Lynce
2012	B	`conf`	Satisfiability: where Theory meets Practice (Invited Talk). CSL Inês Lynce
2012	J	`jnl`	Towards efficient MUS extraction. AI Commun. Anton Belov, Inês Lynce, João Marques-Silva
2011	J	`jnl`	Boolean lexicographic optimization: algorithms & applications. Ann. Math. Artif. Intell. João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce
2011	B	`conf`	Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. ICTAI Ruben Martins, Vasco Manquinho, Inês Lynce
2011	—	`ch.`	Haplotype Inference Using Propositional Satisfiability. Mathematical Approaches to Polymer Sequence Analysis and Related Problems Ana Graça, João Marques-Silva, Inês Lynce
2011	J	`jnl`	Haplotype inference with pseudo-Boolean optimization. Ann. Oper. Res. Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira
2011	A	`conf`	On Improving MUS Extraction Algorithms. SAT João Marques-Silva, Inês Lynce
2011	—	`ed.`	Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011. LoCoCo Conrad Drescher, Inês Lynce, Ralf Treinen
2011	J	`jnl`	Restoring CSP Satisfiability with MaxSAT. Fundam. Informaticae Inês Lynce, João Marques-Silva
2010	A*	`conf`	Apt-pbo: solving the software dependency problem using pseudo-boolean optimization. ASE Paulo Trezentos, Inês Lynce, Arlindo L. Oliveira
2010	—	`conf`	Boolean Lexicographic Optimization. RCRA@CPAIOR João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce
2010	J	`jnl`	Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes. J. Comput. Biol. João Delgado, Inês Lynce, Vasco Manquinho
2010	—	`conf`	Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information. ANB Ana Graça, Inês Lynce, João Marques-Silva, Arlindo L. Oliveira
2010	J	`jnl`	Haplotype Inference by Pure Parsimony: A Survey. J. Comput. Biol. Ana Graça, Inês Lynce, João Marques-Silva, Arlindo L. Oliveira
2010	—	`conf`	Improving Search Space Splitting for Parallel SAT Solving. ICTAI (1) Ruben Martins, Vasco Manquinho, Inês Lynce
2010	A	`conf`	Improving Unsatisfiability-Based Algorithms for Boolean Optimization. SAT Vasco Manquinho, Ruben Martins, Inês Lynce
2010	—	`conf`	New Insights into Encodings from MaxCSP into Partial MaxSAT. ISMVL Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2010	A	`conf`	On Computing Backbones of Propositional Theories. ECAI João Marques-Silva, Mikolás Janota, Inês Lynce
2010	—	`ed.`	Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010. LoCoCo Inês Lynce, Ralf Treinen
2010	—	`conf`	Solving Linux Upgradeability Problems Using Boolean Optimization LoCoCo Josep Argelich, Daniel Le Berre, Inês Lynce, João Marques-Silva, Pascal Rapicault
2010	A	`conf`	The Seventh QBF Solvers Evaluation (QBFEVAL'10). SAT Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce
2009	J	`jnl`	A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. Constraints An Int. J. Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah
2009	—	`conf`	Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization. RECOMB-CG João Delgado, Inês Lynce, Vasco Manquinho
2009	—	`ch.`	Conflict-Driven Clause Learning SAT Solvers. Handbook of Satisfiability João Marques-Silva, Inês Lynce, Sharad Malik
2009	—	`conf`	On Improving Local Search for Unsatisfiability LSCS David Pereira, Inês Lynce, Steven D. Prestwich
2009	J	`jnl`	On Solving Boolean Multilevel Optimization Problems CoRR Josep Argelich, Inês Lynce, João Marques-Silva
2009	A*	`conf`	On Solving Boolean Multilevel Optimization Problemse. IJCAI Josep Argelich, Inês Lynce, João Marques-Silva
2009	—	`conf`	Regular Encodings from Max-CSP into Partial Max-SAT. ISMVL Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2009	—	`conf`	Restoring CSP Satisfiability with MaxSAT. RCRA@AI*IA Inês Lynce, João Marques-Silva
2009	A	`conf`	Sequential Encodings from Max-CSP into Partial Max-SAT. SAT Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2008	—	`ch.`	Backtracking. Wiley Encyclopedia of Computer Science and Engineering Inês Lynce, Vasco Manquinho, João Marques-Silva
2008	J	`jnl`	Boosting Haplotype Inference with Local Search. Constraints An Int. J. Inês Lynce, João Marques-Silva, Steve Prestwich
2008	—	`conf`	CNF Instances from the Software Package Installation Problem. RCRA Josep Argelich, Inês Lynce
2008	B	`conf`	Efficient Haplotype Inference with Combined CP and OR Techniques. CPAIOR Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira
2008	—	`conf`	Encoding Max-CSP into Partial Max-SAT. ISMVL Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2008	—	`conf`	Haplotype Inference with Boolean Constraint Solving: An Overview. ICTAI (1) Inês Lynce, Ana Graça, João Marques-Silva, Arlindo L. Oliveira
2008	J	`jnl`	Haplotype Inference with Boolean Satisfiability. Int. J. Artif. Intell. Tools Inês Lynce, João Marques-Silva
2008	A	`conf`	Modelling Max-CSP as Partial Max-SAT. SAT Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà
2008	J	`jnl`	Symmetry Breaking for Maximum Satisfiability CoRR João Marques-Silva, Inês Lynce, Vasco Manquinho
2008	B	`conf`	Symmetry Breaking for Maximum Satisfiability. LPAR João Marques-Silva, Inês Lynce, Vasco Manquinho
2007	A	`conf`	Breaking Symmetries in SAT Matrix Models. SAT Inês Lynce, João Marques-Silva
2007	—	`conf`	Efficient Haplotype Inference with Pseudo-boolean Optimization. AB Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira
2007	—	`conf`	Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection. EPIA Workshops João Marques-Silva, Inês Lynce, Ana Graça, Arlindo L. Oliveira
2007	J	`jnl`	Random backtracking in backtrack search algorithms for satisfiability. Discret. Appl. Math. Inês Lynce, João Marques-Silva
2007	A*	`conf`	Refutation by Randomised General Resolution. AAAI Steven D. Prestwich, Inês Lynce
2007	J	`jnl`	Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing. AI Mag. João Marques-Silva, Karem A. Sakallah, Inês Lynce
2007	J	`jnl`	Search in the patience game 'Black Hole'. AI Commun. Ian P. Gent, Christopher Jefferson, Tom W. Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim
2007	A	`conf`	Towards Robust CNF Encodings of Cardinality Constraints. CP João Marques-Silva, Inês Lynce
2006	A	`conf`	Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel. SAT Oliver Kullmann, Inês Lynce, João Marques-Silva
2006	A*	`conf`	Efficient Haplotype Inference with Boolean Satisfiability. AAAI Inês Lynce, João Marques-Silva
2006	A	`conf`	Local Search for Unsatisfiability. SAT Steven D. Prestwich, Inês Lynce
2006	J	`jnl`	Propositional satisfiability: Techniques, algorithms and applications. AI Commun. Inês Lynce
2006	A	`conf`	SAT in Bioinformatics: Making the Case with Haplotype Inference. SAT Inês Lynce, João Marques-Silva
2006	—	`conf`	Sudoku as a SAT Problem. AI&M Inês Lynce, Joël Ouaknine
2005	A	`conf`	A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas. SAT Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah
2005	J	`jnl`	Efficient data structures for backtrack search SAT solvers. Ann. Math. Artif. Intell. Inês Lynce, João Marques-Silva
2005	J	`jnl`	Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. J. Autom. Reason. Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva
2004	B	`conf`	Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study. ICTAI Inês Lynce, João Marques-Silva
2004	A	`conf`	On Computing Minimum Unsatisfiable Cores. SAT Inês Lynce, João Marques-Silva
2003	J	`jnl`	An Overview of Backtrack Search Satisfiability Algorithms. Ann. Math. Artif. Intell. Inês Lynce, João P. Marques Silva
2003	—	`conf`	Heuristic Backtracking Algorithms for SAT. MTV Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva
2003	Misc	`conf`	Heuristic-Based Backtracking for Propositional Satisfiability. EPIA Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva
2003	B	`conf`	Probing-Based Preprocessing Techniques for Propositional Satisfiability. ICTAI Inês Lynce, João Marques-Silva
2002	A	`conf`	Building State-of-the-Art SAT Solvers. ECAI Inês Lynce, João Marques-Silva
2002	—	`conf`	The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms. International Workshop on Constraint Solving and Constraint Logic Programming Inês Lynce, João Marques-Silva
2002	A	`conf`	Tuning Randomization in Backtrack Search SAT Algorithms. CP Inês Lynce, João Marques-Silva
2001	A	`conf`	Improving SAT Algorithms by Using Search Pruning Techniques. CP Inês Lynce, João Marques-Silva
2001	J	`jnl`	Stochastic Systematic Search Algorithms for Satisfiability. Electron. Notes Discret. Math. Inês Lynce, Luís Baptista, João Marques-Silva
2001	Misc	`conf`	Towards Provably Complete Stochastic Search Algorithms for Satisfiability. EPIA Inês Lynce, Luís Baptista, João Marques-Silva