Fahiem Bacchus

Available identifiers

zbMath Open bacchus.fahiemWikidataQ60549537 ScholiaQ60549537MaRDI QIDQ835824

List of research outcomes

Publication	Date of Publication	Type
From statistical knowledge bases to degrees of belief	2022-09-27	Paper
Trail saving on backtrack	2021-04-07	Paper
Clause size reduction with all-UIP learning	2021-04-07	Paper
Abstract cores in implicit hitting set MaxSat solving	2021-04-07	Paper
Speeding up assumption-based SAT	2020-05-20	Paper
Finding a Collection of MUSes Incrementally	2016-06-27	Paper
Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination	2016-01-12	Paper
Cores in Core Based MaxSat Algorithms: An Analysis	2014-09-26	Paper
Off the Trail: Re-examining the CDCL Algorithm	2013-08-12	Paper
Recovering and Utilizing Partial Duality in QBF	2013-08-05	Paper
Exploiting the Power of mip Solvers in maxsat	2013-08-05	Paper
Exploiting Circuit Representations in QBF Solving	2010-09-29	Paper
A heuristic search approach to planning with temporally extended preferences	2009-08-31	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
Beyond CNF: A Circuit-Based QBF Solver	2009-07-07	Paper
Dynamically Partitioning for Solving QBF	2009-03-10	Paper
Using SAT in QBF	2008-09-09	Paper
Principles and Practice of Constraint Programming – CP 2004	2008-09-09	Paper
GAC Via Unit Propagation	2008-09-02	Paper
Solution Directed Backjumping for QCSP	2008-09-02	Paper
Binary Clause Reasoning in QBF	2007-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4475672	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4472551	2004-08-04	Paper
Binary vs. non-binary constraints	2002-09-09	Paper
Reasoning about noisy sensors and effectors in the situation calculus	2002-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4934638	2000-09-26	Paper
Planning for temporally extended goals.	2000-09-10	Paper
Downward refinement and the efficiency of hierarchical problem solving	2000-06-21	Paper
Using temporal logics to express search control knowledge for planning	2000-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4012206	1992-09-27	Paper
A non-reified temporal logic	1992-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q5753550	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3486547	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3200585	1989-01-01	Paper

Research outcomes over time

This page was built for person: Fahiem Bacchus