1.On Improving Local Search for Unsatisfiability

作　　者：David Pereira ;Inês Lynce ;Steven Prestwich

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;5:41-53.doi:10.4204/EPTCS.5.4

出版社：Open Publishing Association

文章 ID：83119727

文章详细全文下载
2.Solving Linux Upgradeability Problems Using Boolean Optimization

作　　者：Josep Argelich ;Daniel Le Berre ;Inês Lynce 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;29:11-22.doi:10.4204/EPTCS.29.2

出版社：Open Publishing Association

文章 ID：83119951

文章详细全文下载
3.Satisfiability: where Theory meets Practice (Invited Talk)

作　　者：Inês Lynce

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:12-13.doi:10.4230/LIPIcs.CSL.2012.12

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846146

文章详细全文下载
4.Model Revision of Logical Regulatory Networks Using Logic-Based Tools

作　　者：Filipe Gouveia ;Inês Lynce ;Pedro T. Monteiro

出　　处：OASIcs : OpenAccess Series in Informatics. 2018 ;64:1-10.doi:10.4230/OASIcs.ICLP.2018.23

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：230213741

文章详细全文下载
5.Room usage optimization in timetabling: A case study at Universidade de Lisboa

作　　者：Alexandre Lemos ;Francisco S. Melo ;Pedro T. Monteiro 等

出　　处：Operations Research Perspectives. 2019 ;6:1-13.doi:10.1016/j.orp.2018.100092

出版社：Elsevier

文章 ID：1025902376

文章详细

	有本地全文	4篇
	有全文链接	1篇

	Filipe Gouveia	1篇
	Francisco S. Melo	1篇
	Joao Marques-Silva	1篇
	Josep Argelich	1篇
	Pascal Rapicault	1篇
	Steven Prestwich	1篇

	德国	2篇
	澳大利亚	2篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Inês Lynce")))) )) ) )"

	Inês Lynce	5篇
	Pedro T. Monteiro	2篇
	Alexandre Lemos	1篇
	Daniel Le Berre	1篇
	David Pereira	1篇

	Electronic Proceedings in Theoretical Computer Science	2篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	OASIcs : OpenAccess Series in Informatics	1篇
	Operations Research Perspectives	1篇

	2019	1篇
	2018	1篇
	2012	1篇
	2010	1篇
	2009	1篇