default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBart Selman
Person information
- affiliation: Cornell University, Ithaca, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c139]Dieqiao Feng, Yuanqi Du, Carla P. Gomes, Bart Selman:
Weighted Sampling without Replacement for Deep Top-k Classification. ICML 2023: 9910-9920- [i31]Niko A. Grupen, Michael Hanlon, Alexis Hao, Daniel D. Lee, Bart Selman:
Policy-Value Alignment and Robustness in Search-based Multi-Agent Learning. CoRR abs/2301.11857 (2023) - 2022
- [j39]Jose A. Barreiros
, Artemis Xu, Sofya Pugach, Narahari Iyengar, Graeme Troxell, Alexander Cornwell, Samantha Hong, Bart Selman, Robert F. Shepherd:
Haptic perception using optoelectronic robotic flesh for embodied artificially intelligent agents. Sci. Robotics 7(67) (2022) - [c138]Niko A. Grupen, Bart Selman, Daniel D. Lee:
Cooperative Multi-Agent Fairness and Equivariant Policies. AAAI 2022: 9350-9359 - [c137]Niko A. Grupen, Daniel D. Lee, Bart Selman:
Multi-Agent Curricula and Emergent Implicit Signaling. AAMAS 2022: 553-561 - [c136]Dieqiao Feng, Carla P. Gomes, Bart Selman:
Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning. NeurIPS 2022 - [i30]Dieqiao Feng, Carla P. Gomes, Bart Selman:
Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning. CoRR abs/2206.14298 (2022) - [i29]Dieqiao Feng, Carla P. Gomes, Bart Selman:
Graph Value Iteration. CoRR abs/2209.09608 (2022) - 2021
- [j38]Meinolf Sellmann, Bart Selman:
Zeitenwende - Turn of Eras. AI Mag. 42(1): 3-5 (2021) - [j37]Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes:
Automating crystal-structure phase mapping by combining deep learning with constraint reasoning. Nat. Mach. Intell. 3(9): 812-822 (2021) - [p6]Henry A. Kautz, Ashish Sabharwal, Bart Selman:
Incomplete Algorithms. Handbook of Satisfiability 2021: 213-232 - [p5]Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Model Counting. Handbook of Satisfiability 2021: 993-1014 - [i28]Niko A. Grupen, Bart Selman, Daniel D. Lee:
Fairness for Cooperative Multi-Agent Learning with Equivariant Policies. CoRR abs/2106.05727 (2021) - [i27]Niko A. Grupen, Daniel D. Lee, Bart Selman:
Curriculum-Driven Multi-Agent Learning and the Role of Implicit Communication in Teamwork. CoRR abs/2106.11156 (2021) - [i26]Xiaodong Xin, Kun He, Jialu Bao, Bart Selman, John E. Hopcroft:
Structure Amplification on Multi-layer Stochastic Block Models. CoRR abs/2108.00127 (2021) - [i25]Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes:
Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning. CoRR abs/2108.09523 (2021) - [i24]Dieqiao Feng, Carla P. Gomes, Bart Selman:
A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances. CoRR abs/2110.00898 (2021) - 2020
- [c135]Bart Selman:
A 20-Year Roadmap for AI Research. ICAART (1) 2020: 9 - [c134]Dieqiao Feng, Carla P. Gomes, Bart Selman:
Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning. IJCAI 2020: 2198-2205 - [c133]Dieqiao Feng, Carla P. Gomes, Bart Selman:
A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances. NeurIPS 2020 - [c132]Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft:
Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective. TAMC 2020: 365-376 - [i23]Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft:
Hidden Community Detection on Two-layer Stochastic Models: a Theoretical Prospective. CoRR abs/2001.05919 (2020) - [i22]Dieqiao Feng, Carla P. Gomes, Bart Selman:
Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning. CoRR abs/2006.02689 (2020) - [i21]Niko A. Grupen, Daniel D. Lee, Bart Selman:
Low-Bandwidth Communication Emerges Naturally in Multi-Agent Learning Systems. CoRR abs/2011.14890 (2020)
2010 – 2019
- 2019
- [j36]Carla P. Gomes, Thomas G. Dietterich, Christopher Barrett, Jon Conrad, Bistra Dilkina, Stefano Ermon, Fei Fang, Andrew Farnsworth, Alan Fern, Xiaoli Z. Fern, Daniel Fink, Douglas H. Fisher, Alexander Flecker, Daniel Freund, Angela Fuller, John M. Gregoire, John E. Hopcroft, Steve Kelling, J. Zico Kolter, Warren B. Powell, Nicole D. Sintov, John S. Selker, Bart Selman, Daniel Sheldon, David B. Shmoys, Milind Tambe, Weng-Keen Wong, Christopher Wood, Xiaojian Wu, Yexiang Xue, Amulya Yadav, Abdul-Aziz Yakubu, Mary Lou Zeeman:
Computational sustainability: computing for a better world and a sustainable future. Commun. ACM 62(9): 56-65 (2019) - [i20]Yolanda Gil, Bart Selman:
A 20-Year Community Roadmap for Artificial Intelligence Research in the US. CoRR abs/1908.02624 (2019) - 2018
- [j35]Chenxia Wu, Jiemi Zhang, Ozan Sener, Bart Selman, Silvio Savarese, Ashutosh Saxena:
Watch-n-Patch: Unsupervised Learning of Actions and Relations. IEEE Trans. Pattern Anal. Mach. Intell. 40(2): 467-481 (2018) - [c131]Johan Bjorck, Carla P. Gomes, Bart Selman, Kilian Q. Weinberger:
Understanding Batch Normalization. NeurIPS 2018: 7705-7716 - [i19]Johan Bjorck, Carla P. Gomes, Bart Selman:
Understanding Batch Normalization. CoRR abs/1806.02375 (2018) - 2017
- [c130]Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes:
XOR-Sampling for Network Design with Correlated Stochastic Events. IJCAI 2017: 4640-4647 - [i18]Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes:
XOR-Sampling for Network Design with Correlated Stochastic Events. CoRR abs/1705.08218 (2017) - 2016
- [c129]Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman:
Variable Elimination in the Fourier Domain. ICML 2016: 285-294 - [c128]Chenxia Wu, Jiemi Zhang, Bart Selman, Silvio Savarese, Ashutosh Saxena:
Watch-Bot: Unsupervised learning for reminding humans of forgotten actions. ICRA 2016: 2479-2486 - [c127]Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman:
Solving Marginal MAP Problems with NP Oracles and Parity Constraints. NIPS 2016: 1127-1135 - [p4]Donald W. Loveland, Ashish Sabharwal, Bart Selman:
DPLL: The Core of Modern Satisfiability Solvers. Martin Davis on Computability, Computational Logic, and Mathematical Foundations 2016: 315-335 - [i17]Chenxia Wu, Jiemi Zhang, Ozan Sener, Bart Selman, Silvio Savarese, Ashutosh Saxena:
Watch-n-Patch: Unsupervised Learning of Actions and Relations. CoRR abs/1603.03541 (2016) - [i16]Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman:
Solving Marginal MAP Problems with NP Oracles and Parity Constraints. CoRR abs/1610.02591 (2016) - 2015
- [j34]Stuart Russell, Tom Dietterich, Eric Horvitz, Bart Selman, Francesca Rossi, Demis Hassabis, Shane Legg, Mustafa Suleyman, Dileep George, D. Scott Phoenix:
Letter to the Editor: Research Priorities for Robust and Beneficial Artificial Intelligence: An Open Letter. AI Mag. 36(4): 3-4 (2015) - [c126]Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover:
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. AAAI 2015: 636-643 - [c125]Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman:
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem. AAAI Workshop: Computational Sustainability 2015 - [c124]Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman:
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery. IJCAI 2015: 146-155 - [i15]Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman:
Variable Elimination in Fourier Domain. CoRR abs/1508.04032 (2015) - [i14]Chenxia Wu, Jiemi Zhang, Bart Selman, Silvio Savarese, Ashutosh Saxena:
Watch-Bot: Unsupervised Learning for Reminding Humans of Forgotten Actions. CoRR abs/1512.04208 (2015) - 2014
- [c123]Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Selman, R. Bruce van Dover:
Challenges in Materials Discovery - Synthetic Generator and Real Datasets. AAAI 2014: 438-443 - [c122]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Designing Fast Absorbing Markov Chains. AAAI 2014: 849-855 - [c121]Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman:
Uncovering Hidden Structure through Parallel Problem Decomposition. AAAI 2014: 3144-3145 - [c120]Ronan Le Bras, Carla P. Gomes, Bart Selman:
On the Erdős Discrepancy Problem. CP 2014: 440-448 - [c119]Ronan Le Bras, Yexiang Xue, Richard Bernstein, Carla P. Gomes, Bart Selman:
A Human Computation Framework for Boosting Combinatorial Solvers. HCOMP 2014: 121-132 - [c118]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Low-density Parity Constraints for Hashing-Based Discrete Integration. ICML 2014: 271-279 - [c117]Jaeyong Sung, Bart Selman, Ashutosh Saxena:
Synthesizing manipulation sequences for under-specified tasks using unrolled Markov Random Fields. IROS 2014: 2970-2977 - [i13]Ronan Le Bras, Carla P. Gomes, Bart Selman:
On the Erdos Discrepancy Problem. CoRR abs/1407.2510 (2014) - [i12]Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover:
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. CoRR abs/1411.7441 (2014) - 2013
- [j33]Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman:
Learning policies for battery usage optimization in electric vehicles. Mach. Learn. 92(1): 177-194 (2013) - [c116]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. ICML (2) 2013: 334-342 - [c115]Ronan LeBras, Carla P. Gomes, Bart Selman:
Double-Wheel Graphs Are Graceful. IJCAI 2013: 587-593 - [c114]Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover:
Crowdsourcing Backdoor Identification for Combinatorial Optimization. IJCAI 2013: 2840-2847 - [c113]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Embed and Project: Discrete Sampling with Universal Hashing. NIPS 2013: 2085-2093 - [c112]Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman:
Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. SAT 2013: 233-249 - [c111]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Optimization With Parity Constraints: From Binary Codes to Discrete Integration. UAI 2013 - [i11]Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering:
A Bayesian Approach to Tackling Hard Computational Problems. CoRR abs/1301.2279 (2013) - [i10]Carla P. Gomes, Bart Selman:
Algorithm Portfolio Design: Theory vs. Practice. CoRR abs/1302.1541 (2013) - [i9]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. CoRR abs/1302.6677 (2013) - [i8]Jaeyong Sung, Bart Selman, Ashutosh Saxena:
Learning Sequences of Controllers for Complex Manipulation Tasks. CoRR abs/1306.5707 (2013) - [i7]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Optimization With Parity Constraints: From Binary Codes to Discrete Integration. CoRR abs/1309.6827 (2013) - 2012
- [c110]Ronan LeBras, Carla P. Gomes, Bart Selman:
From Streamlined Combinatorial Search to Efficient Constructive Procedures. AAAI 2012: 499-506 - [c109]Stefano Ermon, Carla P. Gomes, Bart Selman, Alexander Vladimirsky:
Probabilistic planning with non-linear utility functions and worst-case guarantees. AAMAS 2012: 965-972 - [c108]Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena:
Unstructured human activity detection from RGBD images. ICRA 2012: 842-849 - [c107]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Density Propagation and Improved Bounds on the Partition Function. NIPS 2012: 2771-2779 - [c106]Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman:
Learning Policies for Battery Usage Optimization in Electric Vehicles. ECML/PKDD (2) 2012: 195-210 - [c105]Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman, R. Bruce van Dover:
SMT-Aided Combinatorial Materials Discovery. SAT 2012: 172-185 - [c104]Stefano Ermon, Carla P. Gomes, Bart Selman:
Uniform Solution Sampling Using a Constraint Solver As an Oracle. UAI 2012: 255-264 - [e2]Jörg Hoffmann, Bart Selman:
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. AAAI Press 2012 [contents] - [i6]Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman:
Playing games against nature: optimal policies for renewable resource allocation. CoRR abs/1203.3478 (2012) - [i5]Raghuram Ramanujan, Ashish Sabharwal, Bart Selman:
Understanding Sampling Style Adversarial Search Methods. CoRR abs/1203.4011 (2012) - [i4]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Survey Propagation Revisited. CoRR abs/1206.5273 (2012) - [i3]Stefano Ermon, Carla P. Gomes, Bart Selman:
Uniform Solution Sampling Using a Constraint Solver As an Oracle. CoRR abs/1210.4861 (2012) - 2011
- [j32]Ashish Sabharwal, Bart Selman:
S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition. Artif. Intell. 175(5-6): 935-937 (2011) - [j31]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Leveraging belief propagation, backtrack search, and statistics for model counting. Ann. Oper. Res. 184(1): 209-231 (2011) - [c103]Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena:
Human Activity Detection from RGBD Images. Plan, Activity, and Intent Recognition 2011 - [c102]Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman:
Monte-Carlo Style UCT Search for Boolean Satisfiability. AI*IA 2011: 177-188 - [c101]Raghuram Ramanujan, Bart Selman:
Trade-Offs in Sampling-Based Adversarial Planning. ICAPS 2011 - [c100]Stefano Ermon, Carla P. Gomes, Bart Selman:
A message passing approach to multiagent gaussian inference for dynamic processes. AAMAS 2011: 1277-1278 - [c99]Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman:
Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. IJCAI 2011: 1942-1948 - [c98]Stefano Ermon, Carla P. Gomes, Bart Selman:
A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. IJCAI 2011: 2608-2613 - [c97]Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Accelerated Adaptive Markov Chain for Partition Function Computation. NIPS 2011: 2744-2752 - [c96]Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman:
Applying UCT to Boolean Satisfiability. SAT 2011: 373-374 - [i2]Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena:
Human Activity Detection from RGBD Images. CoRR abs/1107.0169 (2011) - 2010
- [j30]Roberto Battiti, Bart Selman, Thomas Stützle:
Special issue on learning and intelligent optimization. Ann. Math. Artif. Intell. 60(1-2): 1-2 (2010) - [c95]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Approximate Inference for Clusters in Solution Spaces. Abstraction, Reformulation, and Approximation 2010 - [c94]Raghuram Ramanujan, Ashish Sabharwal, Bart Selman:
On Adversarial Search Spaces and Sampling-Based Planning. ICAPS 2010: 242-245 - [c93]Stefano Ermon, Carla P. Gomes, Bart Selman:
Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation. AAMAS 2010: 1419-1420 - [c92]Stefano Ermon, Carla P. Gomes, Bart Selman:
Computing the Density of States of Boolean Formulas. CP 2010: 38-52 - [c91]Lukas Kroc, Ashish Sabharwal, Bart Selman:
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search. SAT 2010: 346-351 - [c90]Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman:
Playing games against nature: optimal policies for renewable resource allocation. UAI 2010: 168-176 - [c89]Raghuram Ramanujan, Ashish Sabharwal, Bart Selman:
Understanding Sampling Style Adversarial Search Methods. UAI 2010: 474-483
2000 – 2009
- 2009
- [c88]Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman:
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. IJCAI 2009: 544-551 - [c87]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Message-passing and local heuristics as decimation strategies for satisfiability. SAC 2009: 1408-1414 - [c86]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Relaxed DPLL Search for MaxSAT. SAT 2009: 447-452 - [p3]Henry A. Kautz, Ashish Sabharwal, Bart Selman:
Incomplete Algorithms. Handbook of Satisfiability 2009: 185-203 - [p2]Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Model Counting. Handbook of Satisfiability 2009: 633-654 - 2008
- [c85]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. CPAIOR 2008: 127-141 - [c84]Lukas Kroc, Bart Selman, Ashish Sabharwal:
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. ISAIM 2008 - [c83]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation. NIPS 2008: 873-880 - [r1]Carla P. Gomes, Henry A. Kautz, Ashish Sabharwal, Bart Selman:
Satisfiability Solvers. Handbook of Knowledge Representation 2008: 89-134 - 2007
- [j29]Henry A. Kautz, Bart Selman:
The state of SAT. Discret. Appl. Math. 155(12): 1514-1524 (2007) - [j28]Jörg Hoffmann, Carla P. Gomes, Bart Selman:
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. Log. Methods Comput. Sci. 3(1) (2007) - [j27]Ioannis A. Vetsikas, Bart Selman:
Bayes-Nash equilibria for mth price auctions with multiple closing times. SIGecom Exch. 6(2): 27-36 (2007) - [c82]Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman:
Counting CSP Solutions Using Generalized XOR Constraints. AAAI 2007: 204-209 - [c81]Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi:
Optimal Multi-Agent Scheduling with Constraint Programming. AAAI 2007: 1813-1818 - [c80]Yunsong Guo, Bart Selman:
ExOpaque: A Framework to Explain Opaque Machine Learning Models Using Inductive Logic Programming. ICTAI (2) 2007: 226-229 - [c79]Ioannis A. Vetsikas, Nicholas R. Jennings, Bart Selman:
Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents. IJCAI 2007: 1543-1550 - [c78]Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz:
SAT Encodings of State-Space Reachability Problems in Numeric Domains. IJCAI 2007: 1918-1923 - [c77]Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman:
From Sampling to Model Counting. IJCAI 2007: 2293-2299 - [c76]Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman:
Short XORs for Model Counting: From Theory to Practice. SAT 2007: 100-106 - [c75]Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman:
Sampling and Soundness: Can We Have Both? New Forms of Reasoning for the Semantic Web 2007 - [c74]Lukas Kroc, Ashish Sabharwal, Bart Selman:
Survey Propagation Revisited. UAI 2007: 217-226 - [i1]Jörg Hoffmann, Carla P. Gomes, Bart Selman:
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. CoRR abs/cs/0701184 (2007) - 2006
- [c73]Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Model Counting: A New Strategy for Obtaining Good Bounds. AAAI 2006: 54-61 - [c72]Carla P. Gomes, Willem Jan van Hoeve, Bart Selman:
Constraint Programming for Distributed Planning and Scheduling. AAAI Spring Symposium: Distributed Plan a