Person:835824

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
Clause size reduction with all-UIP learning	2021-04-07	Paper
Trail saving on backtrack	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/Q3200585	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3486547	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fahiem Bacchus