Habiba Drias

Orcid: 0000-0001-7287-5170

According to our database1, Habiba Drias authored at least 177 papers between 1992 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Cooperative parking search strategy through V2X communications: an agent-based decision.
Wirel. Networks, November, 2024

A SCORPAN-based data warehouse for digital soil mapping and association rule mining in support of sustainable agriculture and climate change analysis in the Maghreb region.
Expert Syst. J. Knowl. Eng., July, 2024

Intelligent contributions of the artificial orca algorithm for continuous problems and real-time emergency medical services.
Evol. Intell., June, 2024

Enhanced Elephant Herding Optimization for Large Scale Information Access on Social Media.
CoRR, 2024

2023
A decomposition-based multiobjective evolutionary algorithm using Simulated Annealing for the ambulance dispatching and relocation problem during COVID-19.
Appl. Soft Comput., July, 2023

An external archive guided Harris Hawks optimization using strengthened dominance relation for multi-objective optimization problems.
Artif. Intell. Rev., March, 2023

I/F-Race tuned firefly algorithm and particle swarm optimization for K-medoids-based clustering.
Evol. Intell., February, 2023

Quantum OPTICS and deep self-learning on swarm intelligence algorithms for Covid-19 emergency transportation.
Soft Comput., 2023

Association rule mining using new discrete elephant swarm approaches.
Expert Syst. J. Knowl. Eng., 2023

A novel Orca Cultural Algorithm and applications.
Expert Syst. J. Knowl. Eng., 2023

2022
A Three-Phase Artificial Orcas Algorithm for Continuous and Discrete Problems.
Int. J. Appl. Metaheuristic Comput., January, 2022

An efficient multi-swarm elephant herding optimization for solving community detection problem in complex environment.
Concurr. Comput. Pract. Exp., 2022

A Data Warehouse for Spatial Soil Data Analysis and Mining: Application to the Maghreb Region.
Proceedings of the Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022, 2022

2021
When robots contribute to eradicate the COVID-19 spread in a context of containment.
Prog. Artif. Intell., 2021

Towards knowledge warehousing: application to smart housing.
Int. J. Data Anal. Tech. Strateg., 2021

Information Foraging on Social Media Using Elephant Herding Optimization.
Proceedings of the Trends and Applications in Information Systems and Technologies, 2021

Quantum Ordering Points to Identify the Clustering Structure and Application to Emergency Transportation.
Proceedings of the Intelligent Systems Design and Applications, 2021

Arabic Handwriting Recognition with Wavelets.
Proceedings of Sixth International Congress on Information and Communication Technology, 2021

Heterogeneous DBSCAN for Emergency Call Management: A Case Study of COVID-19 Calls Based on Hospitals Distribution in Saudi Arabia.
Proceedings of the Innovations in Bio-Inspired Computing and Applications, 2021

2020
An Automated Unsupervised Discretization Method: A Novel Approach.
Vietnam. J. Comput. Sci., 2020

Cultural coalitions detection approach using GPU based on hybrid Bat and Cultural Algorithms.
Appl. Soft Comput., 2020

Grid based clustering for satisfiability solving.
Appl. Soft Comput., 2020

A Parallel CPU/GPU Bees Swarm Optimization Algorithm for the Satisfiability Problem.
Proceedings of the Trends and Innovations in Information Systems and Technologies, 2020

A New Swarm Algorithm Based on Orcas Intelligence for Solving Maze Problems.
Proceedings of the Trends and Innovations in Information Systems and Technologies, 2020

Particle Swarm Optimization for Query Items Re-rating.
Proceedings of the Hybrid Intelligent Systems, 2020

Self-parameterized Swarm Intelligence Algorithms for Targets' Detection in Complex and Unknown Environments.
Proceedings of the Hybrid Intelligent Systems, 2020

An Artificial Orca Algorithm for Continuous Problems.
Proceedings of the Hybrid Intelligent Systems, 2020

Discrete Elephant Algorithms for Target Detection in Complex and Unknown Environments.
Proceedings of the Advances in Computing Systems and Applications, 2020

2019
Multidimensional appropriate clustering and DBSCAN for SAT solving.
Data Technol. Appl., 2019

LR-SDiscr: a novel and scalable merging and splitting discretization framework using a lexical generator.
J. Inf. Telecommun., 2019

GPU-Based Bat Algorithm for Discovering Cultural Coalitions.
Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

Clustering Algorithms for Query Expansion Based Information Retrieval.
Proceedings of the Computational Collective Intelligence - 11th International Conference, 2019

Multi-swarm BSO Algorithm with Local Search for Community Detection Problem in Complex Environment.
Proceedings of the Computational Collective Intelligence - 11th International Conference, 2019

2018
Multi-objective bat algorithm for mining numerical association rules.
Int. J. Bio Inspired Comput., 2018

Strength Pareto fitness assignment for pseudo-relevance feedback: application to MEDLINE.
Frontiers Comput. Sci., 2018

Towards Information Warehousing: A Case Study for Tweets.
Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

Association Rules Mining for Culture Modeling.
Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

Density Based Clustering for Satisfiability Solving.
Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

From Data Warehouse to Information Warehouse: Application to Social Media.
Proceedings of the International Conference on Learning and Optimization Algorithms: Theory and Applications, 2018

Data mining techniques and nature-inspired algorithms for query expansion.
Proceedings of the International Conference on Learning and Optimization Algorithms: Theory and Applications, 2018

Divide and Conquer: Recursive Algorithm for frequent itemsets extraction.
Proceedings of the International Conference on Learning and Optimization Algorithms: Theory and Applications, 2018

LR-SDiscr: An Efficient Algorithm for Supervised Discretization.
Proceedings of the Intelligent Information and Database Systems - 10th Asian Conference, 2018

2017
An efficient multiple classifier system for Arabic handwritten words recognition.
Pattern Recognit. Lett., 2017

Frequent Patterns Mining for the Satisfiability Problem.
POLIBITS, 2017

Bat-Inspired Algorithm Based Query Expansion for Medical Web Information Retrieval.
J. Medical Syst., 2017

Proximity-Based Good Turing Discounting and Kernel Functions for Pseudo-Relevance Feedback.
Int. J. Inf. Retr. Res., 2017

Enhancing information source selection using a genetic algorithm and social tagging.
Int. J. Inf. Manag., 2017

An accelerated PSO for query expansion in web information retrieval: application to medical dataset.
Appl. Intell., 2017

Selection of Information Sources Using a Genetic Algorithm.
Proceedings of the Recent Advances in Information Systems and Technologies, 2017

Artificial Neural Network for Incremental Data Mining.
Proceedings of the Recent Advances in Information Systems and Technologies, 2017

Bee Swarm Optimization for Community Detection in Complex Network.
Proceedings of the Recent Advances in Information Systems and Technologies, 2017

ULR-Discr: A New Unsupervised Approach for Discretization.
Proceedings of the Mining Intelligence and Knowledge Exploration, 2017

2016
A Firefly Algorithm-based Approach for Pseudo-Relevance Feedback: Application to Medical Database.
J. Medical Syst., 2016

A hybrid clustering algorithm and web information foraging.
Int. J. Hybrid Intell. Syst., 2016

Multi-swarm bat algorithm for association rule mining using multiple cooperative strategies.
Appl. Intell., 2016

Bat Algorithm for Efficient Query Expansion: Application to MEDLINE.
Proceedings of the New Advances in Information Systems and Technologies, 2016

Data Preprocessing for Web Combinatorial Problems.
Proceedings of the 2016 IEEE/WIC/ACM International Conference on Web Intelligence, 2016

Multi-objective Bat Algorithm for Mining Interesting Association Rules.
Proceedings of the Mining Intelligence and Knowledge Exploration, 2016

An Efficient Incremental Mining Algorithm for Dynamic Databases.
Proceedings of the Mining Intelligence and Knowledge Exploration, 2016

Enterprise Information System, Agility and Complexity - What is the Relationship?
Proceedings of the COMPLEXIS 2016, 2016

Meta-Apriori: A New Algorithm for Frequent Pattern Detection.
Proceedings of the Intelligent Information and Database Systems - 8th Asian Conference, 2016

A New Betweenness Centrality Algorithm with Local Search for Community Detection in Complex Network.
Proceedings of the Intelligent Information and Database Systems - 8th Asian Conference, 2016

2015
A distributed maximal frequent itemset mining with multi agents system on bitmap join indexes selection.
Int. J. Inf. Technol. Manag., 2015

From data mining to knowledge mining: Application to intelligent agents.
Expert Syst. Appl., 2015

Towards a Multidimensional Information Retrieval.
Proceedings of the New Contributions in Information Systems and Technologies, 2015

Strength Pareto Fitness Assignment for Generating Expansion Features.
Proceedings of the New Contributions in Information Systems and Technologies, 2015

An Agent Based Encapsulator System: For Integrating and Composing Legacy System Functionalities.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

k-MM: A Hybrid Clustering Algorithm Based on k-Means and k-Medoids.
Proceedings of the Advances in Nature and Biologically Inspired Computing, 2015

BSO-CLARA: Bees Swarm Optimization for Clustering LARge Applications.
Proceedings of the Mining Intelligence and Knowledge Exploration, 2015

Multi-population Cooperative Bat Algorithm for Association Rule Mining.
Proceedings of the Computational Collective Intelligence - 7th International Conference, 2015

2014
Social Networks Discovery Based on Information Retrieval Technologies and Bees Swarm Optimization: Application to DBLP.
Int. J. Syst. Serv. Oriented Eng., 2014

Multilevel Clustering of Induction Rules: Application on Scalable Cognitive Agent.
Int. J. Syst. Serv. Oriented Eng., 2014

Pruning irrelevant association rules using knowledge mining.
Int. J. Bus. Intell. Data Min., 2014

Bees swarm optimisation using multiple strategies for association rule mining.
Int. J. Bio Inspired Comput., 2014

Hybrid Intelligent Method for Association Rules Mining Using Multiple Strategies.
Int. J. Appl. Metaheuristic Comput., 2014

Evolutionary Approaches for the Extraction of Classification Rules.
Int. J. Appl. Metaheuristic Comput., 2014

Genetic algorithm versus memetic algorithm for association rules mining.
Proceedings of the 2014 Sixth World Congress on Nature and Biologically Inspired Computing, 2014

An Effective Term-Ranking Function for Query Expansion Based on Information Foraging Assessment.
Proceedings of the Mining Intelligence and Knowledge Exploration, 2014

A Novel Term-Term Similarity Score Based Information Foraging Assessment.
Proceedings of the Internet of Things. User-Centric IoT, 2014

Parallel Bees Swarm Optimization for Association Rules Mining Using GPU Architecture.
Proceedings of the Advances in Swarm Intelligence - 5th International Conference, 2014

Association Rule Mining Based on Bat Algorithm.
Proceedings of the Bio-Inspired Computing - Theories and Applications, 2014

2013
A new memetic approach for the classification rules extraction problem.
Int. J. Data Min. Model. Manag., 2013

Service computing and agents paradigm for managing distributed information sources.
Int. J. Bus. Inf. Syst., 2013

A fault tolerant service discovery by self-organisation: a MAS approach.
Int. J. Bus. Inf. Syst., 2013

A contribution for integrating dispatching and covering in the emergency vehicles management services.
Int. J. Adv. Oper. Manag., 2013

A scatter search algorithm for real-time scheduling with timing, precedence and exclusion constraints.
Int. J. Adv. Oper. Manag., 2013

An intrusion detection and alert correlation approach based on revising probabilistic classifiers using expert knowledge.
Appl. Intell., 2013

Social Networks Mining Based on Information Retrieval Technologies and Bees Swarm Optimization: Application to DBLP.
Proceedings of the Advances in Information Systems and Technologies [WorldCIST'13, 2013

Towards a Security Solution for Mobile Agents.
Proceedings of the Advances in Information Systems and Technologies [WorldCIST'13, 2013

Term Proximity and Data Mining Techniques for Information Retrieval Systems.
Proceedings of the Advances in Information Systems and Technologies [WorldCIST'13, 2013

Multilevel Clustering of Induction Rules for Web Meta-knowledge.
Proceedings of the Advances in Information Systems and Technologies [WorldCIST'13, 2013

Datamining techniques and swarm intelligence for problem solving: Application to SAT.
Proceedings of the Fifth World Congress on Nature and Biologically Inspired Computing, 2013

A hybrid Bees Swarm Optimization and Tabu Search algorithm for Association rule mining.
Proceedings of the Fifth World Congress on Nature and Biologically Inspired Computing, 2013

Swarm Intelligence with Clustering for Solving SAT.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2013, 2013

Multilevel Bee Swarm Optimization for Large Satisfiability Problem Instances.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2013, 2013

2012
A multi-agent approach for integrated emergency vehicle dispatching and covering problem.
Eng. Appl. Artif. Intell., 2012

A Memetic Approach for the Knowledge Extraction.
Proceedings of the Neural Information Processing - 19th International Conference, 2012

Bees Swarm Optimization for Real Time Ontology Based Information Retrieval.
Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology, 2012

Bees Swarm Optimization for Web Association Rule Mining.
Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology, 2012

Towards Incremental Knowledge Warehousing and Mining.
Proceedings of the Distributed Computing and Artificial Intelligence, 2012

2011
La validation dynamiquement adaptable des transactions mobiles. Une approche sensible au contexte utilisant des politiques d'adaptation.
Tech. Sci. Informatiques, 2011

Learning and backtracking in non-preemptive scheduling of tasks under timing constraints - Special issue on machine learning and cybernetics.
Soft Comput., 2011

How can bees colour graphs.
Int. J. Bio Inspired Comput., 2011

The MP architecture: towards a secure framework for mobile agents.
Int. J. Agent Oriented Softw. Eng., 2011

Web Information Retrieval Using Particle Swarm Optimization Based Approaches.
Proceedings of the 2011 IEEE/WIC/ACM International Conference on Web Intelligence, 2011

Parallel swarm optimization for web information retrieval.
Proceedings of the Third World Congress on Nature & Biologically Inspired Computing, 2011

Generating materialized views using ant based approaches and information retrieval technologies.
Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2011

ABSO: Advanced Bee Swarm Optimization Metaheuristic and Application to Weighted MAX-SAT Problem.
Proceedings of the Brain Informatics - International Conference, 2011

2010
Local Search Methods for the Optimal Winner Determination Problem in Combinatorial Auctions.
J. Math. Model. Algorithms, 2010

A New Default Theories Compilation for MSP-Entailment.
J. Autom. Reason., 2010

Personalised distributed information retrieval-based agents.
Int. J. Intell. Syst. Technol. Appl., 2010

Two hybrid ant algorithms for the general T-colouring problem.
Int. J. Bio Inspired Comput., 2010

ACO approach with learning for preemptive scheduling of real-time tasks.
Int. J. Bio Inspired Comput., 2010

Grasp and Guided Local Search for the examination timetabling problem.
Int. J. Artif. Intell. Soft Comput., 2010

On performance evaluation and design of atomic commit protocols for mobile transactions.
Distributed Parallel Databases, 2010

Bees Swarm Optimization Based Approach for Web Information Retrieval.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

ACO Based Approach and Integrating Information Retrieval Technologies in Selecting Bitmap Join Indexes.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

How to overcome some segmentation problems in a constrained handwritten Arabic character recognition system.
Proceedings of the 10th International Conference on Information Sciences, 2010

What, Why and How to Integrate - Self Organization within a SOA.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 4, SAIC, Funchal, Madeira, Portugal, June 8, 2010

DNA based algorithms for solving both MAX-SAT and MAX-W-SAT problems.
Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

2009
A memetic algorithm for the optimal winner determination problem.
Soft Comput., 2009

Learning-based approach for multiprocessor scheduling under timing constraints and N-Queens problems.
Int. J. Adv. Oper. Manag., 2009

Personalizing the Source Selection and the Result Merging Process.
Int. J. Artif. Intell. Tools, 2009

Mutli-agent System for Personalizing Information Source Selection.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence, 2009

Adding Expert Knowledge to TAN-based Intrusion Detection Systems.
Proceedings of the SECRYPT 2009, 2009

ACO Approaches for Large Scale Information Retrieval.
Proceedings of the World Congress on Nature & Biologically Inspired Computing, 2009

Large Scale Information Retrieval using a Scatter Search based Approach.
Proceedings of the World Congress on Nature & Biologically Inspired Computing, 2009

Ant colony system with stagnation avoidance for the scheduling of real-time tasks.
Proceedings of the 2009 IEEE Symposium on Computational Intelligence in Scheduling, 2009

A Formal Approach for a Self Organizing Protocol Inspired by Bacteria Colonies: Production System Application.
Proceedings of the Bioinspired Models of Network, Information, and Computing Systems, 2009

2008
Scatter Search and Genetic Algorithms for MAX-SAT Problems.
J. Math. Model. Algorithms, 2008

An Adaptive E-Commerce Architecture for Enterprise Information Exchange.
Int. J. Enterp. Inf. Syst., 2008

Scatter search for the examination timetabling problem.
Int. Arab J. Inf. Technol., 2008

A policy-based context-aware approach for the commitment of mobile transactions.
Proceedings of the 8th international conference on New technologies in distributed systems, 2008

On the Compilation of Possibilistic Default Theories.
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

A Combined Selection of Fragmentation and Allocation Schemes in Parallel Data Warehouses.
Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008

Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions.
Proceedings of the Principles and Practice of Constraint Programming, 2008

2007
A Data Mining Approach for selecting Bitmap Join Indices.
J. Comput. Sci. Eng., 2007

Performance evaluation of Atomic Commit Protocols for mobile transactions.
Int. J. Intell. Inf. Database Syst., 2007

Recognition of Handwritten Arabic Writing with Kohonen Networks.
Proceedings of the 2007 International Conference on Image Processing, 2007

On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies.
Proceedings of the IJCAI 2007, 2007

IGA: an Improved Genetic Algorithm for MAX-SAT Problems.
Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007

Towards a Self Organizing Protocol for a Multi Agents System (MASSOP).
Proceedings of the Sixth International Conference on Networking (ICN 2007), 2007

Selection and Pruning Algorithms for Bitmap Index Selection Problem Using Data Mining.
Proceedings of the Data Warehousing and Knowledge Discovery, 9th International Conference, 2007

A new generationless parallel evolutionary algorithm for combinatorial optimization.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006
Extending real-time heuristic search Part II: Heterogeneous multi-agent systems.
Multiagent Grid Syst., 2006

Extending real-time heuristic search Part I: Dynamically-changing goal sets.
Multiagent Grid Syst., 2006

Protocols for Committing Mobile Transactions.
Int. Arab J. Inf. Technol., 2006

A Mobility-Aware Two-Phase Commit Protocol.
Int. Arab J. Inf. Technol., 2006

Designing a Generic Marketplace Architecture Using Multi-Agent Based Technology.
Int. Arab J. Inf. Technol., 2006

A Distributed Firewall using Autonomous Agents.
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

Distributed Intrusion Detection Framework based on Autonomous and Mobile Agents.
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

Accès personnalisé à de multiples serveurs d'informations.
Proceedings of the COnférence en Recherche d'Infomations et Applications, 2006

2005
PLIB Ontology: A Mature Solution for Products Characterization in B2B Electronic Commerce.
Int. J. IT Stand. Stand. Res., 2005

Taboo search as an intelligent agent for bid evaluation.
Int. J. Internet Enterp. Manag., 2005

Negotiation Protocol Inter Agents in an Electronic Market.
Int. Arab J. Inf. Technol., 2005

Revisiting Distributed Protocols for Mobility at the Application Layer.
Proceedings of the Third World Enformatika Conference, 2005

Efficient and Experimental Meta-heuristics for MAX-SAT Problems.
Proceedings of the Experimental and Efficient Algorithms, 4th InternationalWorkshop, 2005

Cryptanalysis of Substitution Ciphers Using Scatter Search.
Proceedings of the Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach: First International Work-Conference on the Interplay Between Natural and Artificial Computation, 2005

Cooperative Bees Swarm for Solving the Maximum Weighted Satisfiability Problem.
Proceedings of the Computational Intelligence and Bioinspired Systems, 2005

An Agent-Based Approach using the ebXML Specifications for E-business.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

Real-time Heuristic Search for Heterogeneous Multi-agent Systems.
Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Real-Time Search using Multiple Heuristic Estimates.
Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Ant Colony System for Graph Coloring Problem.
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

A Two-Phase Commit Protocol for Mobile Wireless Environment.
Proceedings of the Database Technologies 2005, 2005

2004
Using ant colonies to solve data-mining problems.
Proceedings of the IEEE International Conference on Systems, 2004

Solving weighted Max-Sat optimization problems using a Taboo Scatter Search metaheuristic.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A Performance Comparison of Evolutionary Meta-heuristics and Solving MAX-SAT Problems.
Proceedings of the International Conference on Computational Intelligence, 2004

2003
Cooperative Ant Colonies for Solving the Maximum Weighted Satisfiability Problem.
Proceedings of the Artificial Neural Nets Problem Solving Methods, 2003

Parallel ACS for Weighted MAX-SAT.
Proceedings of the Artificial Neural Nets Problem Solving Methods, 2003

PLIB ontology for B2B electronic commerce.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003

2001
Genetic Algorithm versus Scatter Search and Solving Hard MAX-W-SAT Problems.
Proceedings of the Connectionist Models of Neurons, 2001

Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems.
Proceedings of the Engineering of Intelligent Systems, 2001

1999
Randomness in Heuristics: An Experimental Investigation for the Maximum Satisfiability Problem.
Proceedings of the Foundations and Tools for Neural Modeling, 1999

1998
A Monte Carlo Algorithm for the Satisfiability Problem.
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

1997
On the Average Number of Solutions for SAT Instances.
Comput. Artif. Intell., 1997

1996
Extending the independance notation to the first-order formulas for the satisfiability enumeration.
Bull. dInformatique Approfondie et Appl., 1996

1992
Number of Solutions of SAT Instances: A Probability Distributions Study.
J. Inf. Sci. Eng., 1992


  Loading...