H. Drias

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
COVID-19 Tweets : A dataset contaning more than 600k tweets on the novel CoronaVirus	2020-09-11	Dataset
A new default theories compilation for MSP-entailment Journal of Automated Reasoning	2010-08-23	Paper
Scatter search and genetic algorithms for MAX-SAT problems JMMA. Journal of Mathematical Modelling and Algorithms	2008-06-11	Paper
A cooperative search method for the weighted Max-Sat problems	2007-10-24	Paper
Extending real-time heuristic search Part II: Heterogeneous multi-agent systems Multiagent and Grid Systems	2007-03-30	Paper
Extending real-time heuristic search Part I: Dynamically-changing goal sets Multiagent and Grid Systems	2007-03-30	Paper
Experimental and Efficient Algorithms Lecture Notes in Computer Science	2005-11-30	Paper
Randomness in heuristics: An experimental investigation for the maximum satisfiability problem JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing	2002-11-27	Paper
scientific article; zbMATH DE number 1728703 (Why is no real title available?)	2002-04-15	Paper
scientific article; zbMATH DE number 1708072 (Why is no real title available?)	2002-02-19	Paper
An exact and a randomized approach for the satisfiability problem JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing	2002-01-31	Paper

Research outcomes over time

This page was built for person: H. Drias