Roberto Asín

From MaRDI portal
Person:538317

Available identifiers

zbMath Open asin.robertoMaRDI QIDQ538317

List of research outcomes





PublicationDate of PublicationType
Improving IntSat by expressing disjunctions of bounds as linear constraints2017-11-07Paper
Time-bounded best-first search for reversible and non-reversible search graphs2016-09-07Paper
Comments on: ``An overview of curriculum-based course timetabling2015-07-27Paper
Cardinality networks: a theoretical and empirical study2011-05-25Paper
Cardinality Networks and Their Applications2009-07-07Paper
Efficient Generation of Unsatisfiability Proofs and Cores in SAT2009-01-27Paper

Research outcomes over time

This page was built for person: Roberto Asín

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:538317&oldid=7603865"
Powered by MediaWiki