Augmented human: Human os for improved mental function (position paper)Steve HeisigGuillermo Cecchiet al.2014AAAI 2014
MaxSAT by improved instance-specific algorithm configurationCarlos AnsóteguiYuri Malitskyet al.2014AAAI 2014