Selman, Bart
Bart Selman informaticien américain
VIAF ID: 53312277 (Personal)
Permalink: http://viaf.org/viaf/53312277
Preferred Forms
- 100 0 _ ‡a Bart Selman ‡c informaticien américain
- 100 1 _ ‡a Selman, Bart
-
- 100 1 _ ‡a Selman, Bart
-
- 100 1 _ ‡a Selman, Bart
- 100 1 _ ‡a Selman, Bart
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Accelerated Adaptive Markov Chain for Partition Function Computation | |
Chapter 2 Satisfiability Solvers | |
Computational science: can get satisfaction | |
Computer science. Satisfied with physics | |
Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation | |
Density Propagation and Improved Bounds on the Partition Function | |
Determining computational complexity from characteristic ‘phase transitions’ | |
Embed and Project: Discrete Sampling with Universal Hashing | |
Generating hard satisfiability problems | |
Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints | |
An overview of knowledge acquisition ... 1986 | |
Principles of knowledge representation and reasoning, c2000: | |
Proceedings of the fourth international symposium on artificial intelligence and mathematics AI/MATH-96 : Fort Lauderdale, Florida january 3-5 1996 | |
Rule-based processing in a connectionist system for natural language understanding. | |
Solving Marginal MAP Problems with NP Oracles and Parity Constraints | |
Tracking evolving communities in large linked networks | |
Tractable default reasoning. | |
Understanding Batch Normalization | |
Watch-n-Patch: Unsupervised Learning of Actions and Relations. | |
Working notes of the LICS 2001 workshop on theory and applications of satisfiability testing : June 14-15, 2001, Boston University |