Bart Selman

Available identifiers

zbMath Open selman.bartWikidataQ4865105 ScholiaQ4865105MaRDI QIDQ545552

List of research outcomes

Publication	Date of Publication	Type
Hidden community detection on two-layer stochastic models: a theoretical perspective	2022-12-22	Paper
Generating hard satisfiability problems	2022-09-22	Paper
Critical behavior in the computational cost of satisfiability testing	2022-09-22	Paper
Support set selection for abductive and default reasoning	2022-09-22	Paper
DPLL: The Core of Modern Satisfiability Solvers	2020-08-06	Paper
Determining computational complexity from characteristic ‘phase transitions’	2017-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q5740444	2016-07-26	Paper
On the Erdős Discrepancy Problem	2015-07-21	Paper
Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability	2013-08-05	Paper
Critical Behavior in the Satisfiability of Random Boolean Expressions	2011-11-28	Paper
Leveraging belief propagation, backtrack search, and statistics for model counting	2011-06-22	Paper
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search	2010-09-29	Paper
Principles and Practice of Constraint Programming – CP 2003	2010-03-02	Paper
Short XORs for Model Counting: From Theory to Practice	2009-03-10	Paper
Principles and Practice of Constraint Programming – CP 2004	2008-09-09	Paper
Principles and Practice of Constraint Programming – CP 2004	2008-09-09	Paper
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting	2008-05-27	Paper
Sensor networks and distributed CSP: communication, computation and complexity	2007-10-23	Paper
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning	2007-10-11	Paper
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency	2007-09-04	Paper
The state of SAT	2007-08-23	Paper
Regular random \(k\)-SAT: Properties of balanced formulas	2007-01-24	Paper
Statistical regimes across constrainedness regions	2006-11-03	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4475647	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4473032	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4460805	2004-03-29	Paper
Horn approximations of empirical data	2003-02-04	Paper
Compute-intensive methods in artificial intelligence	2002-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q2749853	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q2741510	2001-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q2741540	2001-09-24	Paper
Heavy-tailed phenomena in satisfiability and constraint satisfaction problems	2001-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q2734936	2001-08-30	Paper
Algorithm portfolios	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4704799	1999-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4375773	1998-03-02	Paper
Knowledge compilation and theory approximation	1998-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5687271	1997-06-09	Paper
The complexity of path-based defeasible inheritance	1994-01-19	Paper
Hard problems for simple default logics	1992-06-28	Paper
Model-preference default theories	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3200595	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3493327	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830558	1989-01-01	Paper
A special-purpose processor for the Monte Carlo simulation of Ising spin systems	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bart Selman