H. Drias

Available identifiers

zbMath Open drias.habibaMaRDI QIDQ928685

List of research outcomes

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	2010-08-23	Paper
Scatter search and genetic algorithms for MAX-SAT problems	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	2007-03-30	Paper
Extending real-time heuristic search Part I: Dynamically-changing goal sets	2007-03-30	Paper
Experimental and Efficient Algorithms	2005-11-30	Paper
Randomness in heuristics: An experimental investigation for the maximum satisfiability problem	2002-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q2780157	2002-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q2772493	2002-02-19	Paper
An exact and a randomized approach for the satisfiability problem	2002-01-31	Paper

Research outcomes over time

This page was built for person: H. Drias