Check
maxsat.udl.cat

Maxsat.udl.cat: MaxSAT Evaluations Offline

Maxsat.udl.cat: visit the most interesting MaxSAT Udl pages, well-liked by users from Spain, or check the rest of maxsat.udl.cat data below. Maxsat.udl.cat is a web project, safe and generally suitable for all ages. We found that English is the preferred language on MaxSAT Udl pages. Maxsat.udl.cat uses Apache HTTP Server.

Language: English language flag English
Last check

maxsat.udl.cat most visited pages

  • MaxSAT Evaluations

    Journal on Satisfiability, Boolean Modeling and Computation, Vol. 4 (2008), pages 251-278.

  • Max-SAT 2011 - Sixth Max-SAT Evaluation

    Introduction The Sixth Evaluation of Max-SAT Solvers (Max-SAT-2011) is organized as an affiliated event of the Fourteenth International Conference on Theory and Applications of Satisfiability Te...

  • Max-SAT 2010 - Fifth Max-SAT Evaluation

    SAT4J MAXSAT 2.2.0 : Daniel Le Berre QMaxSAT : Miyuki Koshimura, Tong Zhang IncMaxSatz : Han Lin, Kaile Su, Chu Min Li IncWMaxSatz : Han Lin, Kaile Su, Chu Min Li, Josep Argelich Maxsat_Power, WMaxsat...

Social media reactions

SERVER network INFO

maxsat.udl.cat

193.144.12.26

Hosting provider:

Xarxa de Comunicacions de la UdL

DOMAIN

Registrant: UNIVERSITAT DE LLEIDA
Updated: November 16, 2023
Expires: February 14, 2031
Created: February 14, 2006

maxsat.udl.cat is built with

Server: Apache HTTP Server

WHOIS DATA