( en | de | ru )

 

Disambiguation of "Selman, Bart"

Author of the publication

copydeleteadd this publication to your clipboard
Balance and Filtering in Structured Satisfiable Problems (Preliminary Report).

, , , , , and . Electron. Notes Discret. Math., (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Selman Wolpert

Selman Lubowski

Selman Kaya

Selman Kaya

Bart Cramer

 

Other publications of authors with the same name

The Tractability of Path-Based Inheritance., and . IJCAI, page 1140-1145. Morgan Kaufmann, (1989)Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems., and . IJCAI, page 290-295. Morgan Kaufmann, (1993)XOR-Sampling for Network Design with Correlated Stochastic Events., , , and . IJCAI, page 4640-4647. ijcai.org, (2017)Short XORs for Model Counting: From Theory to Practice., , , and . SAT, volume 4501 of Lecture Notes in Computer Science, page 100-106. Springer, (2007)From Spin Glasses to Hard Satisfiable Formulas., , and . SAT, (2004)Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning., , and . IJCAI, page 2198-2205. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Balance and Filtering in Structured Satisfiable Problems (Preliminary Report)., , , , , and . Electron. Notes Discret. Math., (2001)Horn Approximations of Empirical Data., , and . Artif. Intell., 74 (1): 129-145 (1995)Uniform Solution Sampling Using a Constraint Solver As an Oracle., , and . UAI, page 255-264. AUAI Press, (2012)Learning Declarative Control Rules for Constraint-BAsed Planning., , and . ICML, page 415-422. Morgan Kaufmann, (2000)