The following pages link to Fahiem Bacchus (Q835824):
Displayed 35 items.
- A heuristic search approach to planning with temporally extended preferences (Q835825) (← links)
- A non-reified temporal logic (Q1190791) (← links)
- Downward refinement and the efficiency of hierarchical problem solving (Q1341665) (← links)
- Planning for temporally extended goals. (Q1383350) (← links)
- Reasoning about noisy sensors and effectors in the situation calculus (Q1606305) (← links)
- Binary vs. non-binary constraints (Q1614859) (← links)
- Item:Q835824 (redirect page) (← links)
- Using temporal logics to express search control knowledge for planning (Q1978242) (← links)
- Speeding up assumption-based SAT (Q2181929) (← links)
- Clause size reduction with all-UIP learning (Q2661332) (← links)
- Trail saving on backtrack (Q2661333) (← links)
- Abstract cores in implicit hitting set MaxSat solving (Q2661355) (← links)
- From statistical knowledge bases to degrees of belief (Q2676577) (← links)
- Finding a Collection of MUSes Incrementally (Q2815093) (← links)
- Off the Trail: Re-examining the CDCL Algorithm (Q2843320) (← links)
- Cores in Core Based MaxSat Algorithms: An Analysis (Q3192051) (← links)
- (Q3200585) (← links)
- Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination (Q3460072) (← links)
- (Q3486547) (← links)
- GAC Via Unit Propagation (Q3523055) (← links)
- Solution Directed Backjumping for QCSP (Q3523056) (← links)
- Using SAT in QBF (Q3524206) (← links)
- Dynamically Partitioning for Solving QBF (Q3612468) (← links)
- Beyond CNF: A Circuit-Based QBF Solver (Q3637177) (← links)
- (Q4012206) (← links)
- (Q4472551) (← links)
- (Q4475672) (← links)
- Exploiting Circuit Representations in QBF Solving (Q4930601) (← links)
- (Q4934638) (← links)
- Theory and Applications of Satisfiability Testing (Q5325873) (← links)
- Recovering and Utilizing Partial Duality in QBF (Q5326455) (← links)
- Exploiting the Power of mip Solvers in maxsat (Q5326460) (← links)
- (Q5753550) (← links)
- Binary Clause Reasoning in QBF (Q5756571) (← links)
- Principles and Practice of Constraint Programming – CP 2004 (Q5900325) (← links)