Repairing Boolean logical models from time-series data using Answer Set Programming

by Alexandre Lemos, Inês Lynce, Pedro T. Monteiro
Published 2019-03-01

On Improving Local Search for Unsatisfiability

by David Pereira, Inês Lynce, Steven Prestwich
Published 2009-10-01

Room usage optimization in timetabling: A case study at Universidade de Lisboa

by Alexandre Lemos, Francisco S. Melo, Pedro T. Monteiro, Inês Lynce
Published 2019-01-01

Solving Linux Upgradeability Problems Using Boolean Optimization

by Josep Argelich, Daniel Le Berre, Inês Lynce, Joao Marques-Silva, Pascal Rapicault
Published 2010-07-01