English   español  

Browsing by Author Larrosa, Javier

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 2 of 2
RightsPreviewIssue DateTitleAuthor(s)Type
openAccessAI(2002)_141(1-2)205-24.pdf.jpg2002On forward checking for non-binary constraint satisfactionBessiere, Christian; Meseguer, Pedro  ; Freuder, Eugene; Larrosa, Javierartículo
closedAccessaccesoRestringido.pdf.jpg2003Solving Max-SAT as Weighted CSPGivry, Simon de; Larrosa, Javier; Meseguer, Pedro  ; Schiex, Thomasartículo